0.00	c Running pbsmodels-v1.28
1009.11	o 73
1009.17	o 72
1009.64	o 71
1792.32	s SATISFIABLE
1792.32	v x24 x79 x259 x347 x364 x513 x527 x550 x636 x652 x972 x1019 x1067 x1159 x1303 x1366 x1397 x1421 x1476 x1671 x1711 x1713 x1923
1792.32	v x1963 x2024 x2078 x2197 x2361 x2403 x2556 x2608 x2684 x2800 x2894 x3085 x3094 x3167 x3170 x3222 x3304 x3429 x3601 x3607 x3614
1792.32	v x3634 x3711 x3740 x3850 x3934 x3965 x4033 x4068 x4168 x4190 x4290 x4464 x4465 x4468 x4505 x4517 x4574 x4624 x4642 x4668 x4679
1792.32	v x4854 x4953 x5004 x5050 x5122 x5187 -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20
1792.32	v -x21 -x22 -x23 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47
1792.32	v -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73
1792.32	v -x74 -x75 -x76 -x77 -x78 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100
1792.32	v -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121
1792.32	v -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142
1792.32	v -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163
1792.32	v -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184
1792.32	v -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205
1792.32	v -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226
1792.32	v -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247
1792.32	v -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269
1792.32	v -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290
1792.32	v -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311
1792.32	v -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332
1792.32	v -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x348 -x349 -x350 -x351 -x352 -x353 -x354
1792.32	v -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376
1792.32	v -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397
1792.32	v -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418
1792.32	v -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439
1792.32	v -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460
1792.32	v -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481
1792.32	v -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502
1792.32	v -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524
1792.32	v -x525 -x526 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546
1792.32	v -x547 -x548 -x549 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568
1792.32	v -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589
1792.32	v -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610
1792.32	v -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631
1792.32	v -x632 -x633 -x634 -x635 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x653 -x654
1792.32	v -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675
1792.32	v -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696
1792.32	v -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717
1792.32	v -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738
1792.32	v -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759
1792.32	v -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780
1792.32	v -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801
1792.32	v -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822
1792.32	v -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843
1792.32	v -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864
1792.32	v -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885
1792.32	v -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906
1792.32	v -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927
1792.32	v -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948
1792.32	v -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969
1792.32	v -x970 -x971 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991
1792.32	v -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010
1792.32	v -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028
1792.32	v -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045
1792.32	v -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062
1792.32	v -x1063 -x1064 -x1065 -x1066 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080
1792.32	v -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097
1792.32	v -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114
1792.32	v -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131
1792.32	v -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148
1792.32	v -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166
1792.32	v -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183
1792.32	v -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200
1792.32	v -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217
1792.32	v -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234
1792.32	v -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251
1792.32	v -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268
1792.32	v -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285
1792.32	v -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302
1792.32	v -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320
1792.32	v -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337
1792.32	v -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354
1792.32	v -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372
1792.32	v -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389
1792.32	v -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407
1792.32	v -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1422 -x1423 -x1424 -x1425
1792.32	v -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442
1792.32	v -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459
1792.32	v -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1477
1792.32	v -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494
1792.32	v -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511
1792.32	v -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528
1792.32	v -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545
1792.32	v -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562
1792.32	v -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579
1792.32	v -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596
1792.32	v -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613
1792.32	v -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630
1792.32	v -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647
1792.32	v -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664
1792.32	v -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682
1792.32	v -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699
1792.32	v -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1712 -x1714 -x1715 -x1716 -x1717 -x1718
1792.32	v -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735
1792.32	v -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752
1792.32	v -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769
1792.32	v -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786
1792.32	v -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803
1792.32	v -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820
1792.32	v -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837
1792.32	v -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854
1792.32	v -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871
1792.32	v -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888
1792.32	v -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905
1792.32	v -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922
1792.32	v -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940
1792.32	v -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957
1792.32	v -x1958 -x1959 -x1960 -x1961 -x1962 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975
1792.32	v -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992
1792.32	v -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009
1792.32	v -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2025 -x2026 -x2027
1792.32	v -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044
1792.32	v -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061
1792.32	v -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2079
1792.32	v -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096
1792.32	v -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113
1792.32	v -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130
1792.32	v -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147
1792.32	v -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164
1792.32	v -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181
1792.32	v -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2198 -x2199
1792.32	v -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216
1792.32	v -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233
1792.32	v -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250
1792.32	v -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267
1792.32	v -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284
1792.32	v -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301
1792.32	v -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318
1792.32	v -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335
1792.32	v -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352
1792.32	v -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370
1792.32	v -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387
1792.32	v -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2404 -x2405
1792.32	v -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422
1792.32	v -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439
1792.32	v -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456
1792.32	v -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473
1792.32	v -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490
1792.32	v -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507
1792.32	v -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524
1792.32	v -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541
1792.32	v -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2557 -x2558 -x2559
1792.32	v -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576
1792.32	v -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593
1792.32	v -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2609 -x2610 -x2611
1792.32	v -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628
1792.32	v -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645
1792.32	v -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662
1792.32	v -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679
1792.32	v -x2680 -x2681 -x2682 -x2683 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697
1792.32	v -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714
1792.32	v -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731
1792.32	v -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748
1792.32	v -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765
1792.32	v -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782
1792.32	v -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799
1792.32	v -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817
1792.32	v -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834
1792.32	v -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851
1792.32	v -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868
1792.32	v -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885
1792.32	v -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903
1792.32	v -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920
1792.32	v -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937
1792.32	v -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954
1792.32	v -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971
1792.32	v -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988
1792.32	v -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005
1792.32	v -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022
1792.32	v -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039
1792.32	v -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056
1792.32	v -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073
1792.32	v -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091
1792.32	v -x3092 -x3093 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109
1792.32	v -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126
1792.32	v -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143
1792.32	v -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160
1792.32	v -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3168 -x3169 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179
1792.32	v -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196
1792.32	v -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213
1792.32	v -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231
1792.32	v -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248
1792.32	v -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265
1792.32	v -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282
1792.32	v -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299
1792.32	v -x3300 -x3301 -x3302 -x3303 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317
1792.32	v -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334
1792.32	v -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351
1792.32	v -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368
1792.32	v -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385
1792.32	v -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402
1792.32	v -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419
1792.32	v -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437
1792.32	v -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454
1792.32	v -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471
1792.32	v -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488
1792.32	v -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505
1792.32	v -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522
1792.32	v -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539
1792.32	v -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556
1792.32	v -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573
1792.32	v -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590
1792.32	v -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3602 -x3603 -x3604 -x3605 -x3606 -x3608 -x3609
1792.32	v -x3610 -x3611 -x3612 -x3613 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627
1792.32	v -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645
1792.32	v -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662
1792.32	v -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679
1792.32	v -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696
1792.32	v -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3712 -x3713 -x3714
1792.32	v -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731
1792.32	v -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749
1792.32	v -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766
1792.32	v -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783
1792.32	v -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800
1792.32	v -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817
1792.32	v -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834
1792.32	v -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3851 -x3852
1792.32	v -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869
1792.32	v -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886
1792.32	v -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903
1792.32	v -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920
1792.32	v -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3935 -x3936 -x3937 -x3938
1792.32	v -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955
1792.32	v -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973
1792.32	v -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990
1792.32	v -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007
1792.32	v -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024
1792.32	v -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042
1792.32	v -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059
1792.32	v -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077
1792.32	v -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094
1792.32	v -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111
1792.32	v -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128
1792.32	v -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145
1792.32	v -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162
1792.32	v -x4163 -x4164 -x4165 -x4166 -x4167 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180
1792.32	v -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198
1792.32	v -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215
1792.32	v -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232
1792.32	v -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249
1792.32	v -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266
1792.32	v -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283
1792.32	v -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301
1792.32	v -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318
1792.32	v -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335
1792.32	v -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352
1792.32	v -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369
1792.32	v -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386
1792.32	v -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403
1792.32	v -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420
1792.32	v -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437
1792.32	v -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454
1792.32	v -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4466 -x4467 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474
1792.32	v -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491
1792.32	v -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4506 -x4507 -x4508 -x4509
1792.32	v -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527
1792.32	v -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544
1792.32	v -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561
1792.32	v -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4575 -x4576 -x4577 -x4578 -x4579
1792.32	v -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596
1792.32	v -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613
1792.32	v -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631
1792.32	v -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649
1792.32	v -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666
1792.32	v -x4667 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685
1792.32	v -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702
1792.32	v -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719
1792.32	v -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736
1792.32	v -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753
1792.32	v -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770
1792.32	v -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787
1792.32	v -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804
1792.32	v -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821
1792.32	v -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838
1792.32	v -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4855 -x4856
1792.32	v -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873
1792.32	v -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890
1792.32	v -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907
1792.32	v -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924
1792.32	v -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941
1792.32	v -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959
1792.32	v -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976
1792.32	v -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993
1792.32	v -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011
1792.32	v -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028
1792.32	v -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045
1792.32	v -x5046 -x5047 -x5048 -x5049 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063
1792.32	v -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080
1792.32	v -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097
1792.32	v -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114
1792.32	v -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132
1792.32	v -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149
1792.32	v -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166
1792.32	v -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183
1792.32	v -x5184 -x5185 -x5186 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201
1792.32	v -x5202 -x5203
1792.33	c Somebody sent me a SIGTERM
1792.33	smodels: no process killed
1792.34	pbsmodels.trans: no process killed

OK	71

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes

runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr

Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
command line: runsolver --timestamp -w ROOT/results/node21/watcher-49584-1154095154 -o ROOT/results/node21/solver-49584-1154095154 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node21/49584-1154095154/instance-49584-1154095154.opb 369012937 ROOT/tmp/node21/49584-1154095154 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.00 1.00 1.00 2/64 22249
/proc/meminfo: memFree=1496968/2055920 swapFree=4182912/4192956
[pid=22249] ppid=22247 vsize=5360 CPUtime=0
/proc/22249/stat : 22249 (runpbsmodels) S 22247 22249 22200 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156376174 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22249/statm: 1340 234 195 169 0 51 0
[pid=22250] ppid=22249 vsize=8540 CPUtime=0
/proc/22250/stat : 22250 (pbsmodels-v1.28) R 22249 22249 22200 0 -1 4194304 73 0 0 0 0 0 0 0 20 0 1 0 156376175 8744960 55 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 221233870217 0 0 4096 0 0 0 0 17 1 0 0
/proc/22250/statm: 2412 56 41 3 0 55 0

[startup+10.0021 s]
/proc/loadavg: 1.15 1.03 1.01 2/69 22254
/proc/meminfo: memFree=1474080/2055920 swapFree=4182912/4192956
[pid=22249] ppid=22247 vsize=5360 CPUtime=0
/proc/22249/stat : 22249 (runpbsmodels) S 22247 22249 22200 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156376174 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22249/statm: 1340 234 195 169 0 51 0
[pid=22250] ppid=22249 vsize=12268 CPUtime=0
/proc/22250/stat : 22250 (pbsmodels-v1.28) S 22249 22249 22200 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156376175 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 221245390740 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/22250/statm: 3067 383 293 3 0 167 0
[pid=22251] ppid=22250 vsize=5356 CPUtime=0
/proc/22251/stat : 22251 (sh) S 22250 22249 22200 0 -1 4194304 311 0 0 0 0 0 0 0 18 0 1 0 156376175 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22251/statm: 1339 227 188 169 0 50 0
[pid=22252] ppid=22251 vsize=13968 CPUtime=9.96
/proc/22252/stat : 22252 (pbsmodels.trans) R 22251 22249 22200 0 -1 4194304 896 0 0 0 995 1 0 0 25 0 1 0 156376176 14303232 854 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 221245386706 0 0 4224 0 0 0 0 17 1 0 0
/proc/22252/statm: 3492 854 340 3 0 592 0
[pid=22253] ppid=22251 vsize=21764 CPUtime=7.18
/proc/22253/stat : 22253 (smodels) R 22251 22249 22200 0 -1 4194304 5113 0 0 0 714 4 0 0 16 0 1 0 156376176 22286336 5077 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 8860627 0 0 4096 0 0 0 0 17 1 0 0
/proc/22253/statm: 5441 5078 206 20 0 4878 0
[pid=22254] ppid=22251 vsize=12268 CPUtime=0
/proc/22254/stat : 22254 (pbout.pl) S 22251 22249 22200 0 -1 4194304 418 0 0 0 0 0 0 0 21 0 1 0 156376176 12562432 377 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 221245386850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/22254/statm: 3067 377 289 3 0 167 0
Current children cumulated CPU time (s) 17.14
Current children cumulated vsize (Kb) 58716

[startup+20.0092 s]
/proc/loadavg: 1.13 1.03 1.01 2/68 22254
/proc/meminfo: memFree=1461864/2055920 swapFree=4182912/4192956
[pid=22249] ppid=22247 vsize=5360 CPUtime=0
/proc/22249/stat : 22249 (runpbsmodels) S 22247 22249 22200 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156376174 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22249/statm: 1340 234 195 169 0 51 0
[pid=22250] ppid=22249 vsize=12268 CPUtime=0
/proc/22250/stat : 22250 (pbsmodels-v1.28) S 22249 22249 22200 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156376175 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 221245390740 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/22250/statm: 3067 383 293 3 0 167 0
[pid=22251] ppid=22250 vsize=5356 CPUtime=12.5
/proc/22251/stat : 22251 (sh) S 22250 22249 22200 0 -1 4194304 311 898 0 0 0 0 1248 2 16 0 1 0 156376175 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22251/statm: 1339 227 188 169 0 50 0
[pid=22253] ppid=22251 vsize=36348 CPUtime=16.5
/proc/22253/stat : 22253 (smodels) R 22251 22249 22200 0 -1 4194304 8759 0 0 0 1644 6 0 0 25 0 1 0 156376176 37220352 8723 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134550238 0 0 4096 0 0 0 0 17 1 0 0
/proc/22253/statm: 9087 8723 210 20 0 8524 0
[pid=22254] ppid=22251 vsize=12268 CPUtime=0
/proc/22254/stat : 22254 (pbout.pl) S 22251 22249 22200 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 156376176 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 221245386850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/22254/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 29
Current children cumulated vsize (Kb) 71600

[startup+30.0163 s]
/proc/loadavg: 1.11 1.03 1.01 2/68 22254
/proc/meminfo: memFree=1461928/2055920 swapFree=4182912/4192956
[pid=22249] ppid=22247 vsize=5360 CPUtime=0
/proc/22249/stat : 22249 (runpbsmodels) S 22247 22249 22200 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156376174 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22249/statm: 1340 234 195 169 0 51 0
[pid=22250] ppid=22249 vsize=12268 CPUtime=0
/proc/22250/stat : 22250 (pbsmodels-v1.28) S 22249 22249 22200 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156376175 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 221245390740 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/22250/statm: 3067 383 293 3 0 167 0
[pid=22251] ppid=22250 vsize=5356 CPUtime=12.5
/proc/22251/stat : 22251 (sh) S 22250 22249 22200 0 -1 4194304 311 898 0 0 0 0 1248 2 16 0 1 0 156376175 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22251/statm: 1339 227 188 169 0 50 0
[pid=22253] ppid=22251 vsize=36348 CPUtime=26.5
/proc/22253/stat : 22253 (smodels) R 22251 22249 22200 0 -1 4194304 8759 0 0 0 2644 6 0 0 25 0 1 0 156376176 37220352 8723 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134551047 0 0 4096 0 0 0 0 17 1 0 0
/proc/22253/statm: 9087 8723 210 20 0 8524 0
[pid=22254] ppid=22251 vsize=12268 CPUtime=0
/proc/22254/stat : 22254 (pbout.pl) S 22251 22249 22200 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 156376176 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 221245386850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/22254/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 39
Current children cumulated vsize (Kb) 71600

[startup+40.0234 s]
/proc/loadavg: 1.09 1.03 1.01 2/68 22254
/proc/meminfo: memFree=1461992/2055920 swapFree=4182912/4192956
[pid=22249] ppid=22247 vsize=5360 CPUtime=0
/proc/22249/stat : 22249 (runpbsmodels) S 22247 22249 22200 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156376174 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22249/statm: 1340 234 195 169 0 51 0
[pid=22250] ppid=22249 vsize=12268 CPUtime=0
/proc/22250/stat : 22250 (pbsmodels-v1.28) S 22249 22249 22200 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156376175 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 221245390740 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/22250/statm: 3067 383 293 3 0 167 0
[pid=22251] ppid=22250 vsize=5356 CPUtime=12.5
/proc/22251/stat : 22251 (sh) S 22250 22249 22200 0 -1 4194304 311 898 0 0 0 0 1248 2 16 0 1 0 156376175 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22251/statm: 1339 227 188 169 0 50 0
[pid=22253] ppid=22251 vsize=36348 CPUtime=36.51
/proc/22253/stat : 22253 (smodels) R 22251 22249 22200 0 -1 4194304 8759 0 0 0 3645 6 0 0 25 0 1 0 156376176 37220352 8723 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134550961 0 0 4096 0 0 0 0 17 1 0 0
/proc/22253/statm: 9087 8723 210 20 0 8524 0
[pid=22254] ppid=22251 vsize=12268 CPUtime=0
/proc/22254/stat : 22254 (pbout.pl) S 22251 22249 22200 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 156376176 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 221245386850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/22254/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 49.01
Current children cumulated vsize (Kb) 71600

[startup+50.0305 s]
/proc/loadavg: 1.08 1.03 1.01 2/68 22254
/proc/meminfo: memFree=1461928/2055920 swapFree=4182912/4192956
[pid=22249] ppid=22247 vsize=5360 CPUtime=0
/proc/22249/stat : 22249 (runpbsmodels) S 22247 22249 22200 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156376174 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22249/statm: 1340 234 195 169 0 51 0
[pid=22250] ppid=22249 vsize=12268 CPUtime=0
/proc/22250/stat : 22250 (pbsmodels-v1.28) S 22249 22249 22200 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156376175 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 221245390740 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/22250/statm: 3067 383 293 3 0 167 0
[pid=22251] ppid=22250 vsize=5356 CPUtime=12.5
/proc/22251/stat : 22251 (sh) S 22250 22249 22200 0 -1 4194304 311 898 0 0 0 0 1248 2 16 0 1 0 156376175 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22251/statm: 1339 227 188 169 0 50 0
[pid=22253] ppid=22251 vsize=36348 CPUtime=46.51
/proc/22253/stat : 22253 (smodels) R 22251 22249 22200 0 -1 4194304 8759 0 0 0 4645 6 0 0 25 0 1 0 156376176 37220352 8723 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134550238 0 0 4096 0 0 0 0 17 1 0 0
/proc/22253/statm: 9087 8723 210 20 0 8524 0
[pid=22254] ppid=22251 vsize=12268 CPUtime=0
/proc/22254/stat : 22254 (pbout.pl) S 22251 22249 22200 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 156376176 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 221245386850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/22254/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 59.01
Current children cumulated vsize (Kb) 71600

[startup+60.0366 s]
/proc/loadavg: 1.06 1.03 1.01 2/68 22254
/proc/meminfo: memFree=1461928/2055920 swapFree=4182912/4192956
[pid=22249] ppid=22247 vsize=5360 CPUtime=0
/proc/22249/stat : 22249 (runpbsmodels) S 22247 22249 22200 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156376174 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22249/statm: 1340 234 195 169 0 51 0
[pid=22250] ppid=22249 vsize=12268 CPUtime=0
/proc/22250/stat : 22250 (pbsmodels-v1.28) S 22249 22249 22200 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156376175 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 221245390740 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/22250/statm: 3067 383 293 3 0 167 0
[pid=22251] ppid=22250 vsize=5356 CPUtime=12.5
/proc/22251/stat : 22251 (sh) S 22250 22249 22200 0 -1 4194304 311 898 0 0 0 0 1248 2 16 0 1 0 156376175 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22251/statm: 1339 227 188 169 0 50 0
[pid=22253] ppid=22251 vsize=36348 CPUtime=56.51
/proc/22253/stat : 22253 (smodels) R 22251 22249 22200 0 -1 4194304 8759 0 0 0 5645 6 0 0 25 0 1 0 156376176 37220352 8723 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134550178 0 0 4096 0 0 0 0 17 1 0 0
/proc/22253/statm: 9087 8723 210 20 0 8524 0
[pid=22254] ppid=22251 vsize=12268 CPUtime=0
/proc/22254/stat : 22254 (pbout.pl) S 22251 22249 22200 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 156376176 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 221245386850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/22254/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 69.01
Current children cumulated vsize (Kb) 71600

[startup+70.0427 s]
/proc/loadavg: 1.05 1.02 1.00 2/68 22254
/proc/meminfo: memFree=1461928/2055920 swapFree=4182912/4192956
[pid=22249] ppid=22247 vsize=5360 CPUtime=0
/proc/22249/stat : 22249 (runpbsmodels) S 22247 22249 22200 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156376174 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22249/statm: 1340 234 195 169 0 51 0
[pid=22250] ppid=22249 vsize=12268 CPUtime=0
/proc/22250/stat : 22250 (pbsmodels-v1.28) S 22249 22249 22200 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156376175 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 221245390740 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/22250/statm: 3067 383 293 3 0 167 0
[pid=22251] ppid=22250 vsize=5356 CPUtime=12.5
/proc/22251/stat : 22251 (sh) S 22250 22249 22200 0 -1 4194304 311 898 0 0 0 0 1248 2 16 0 1 0 156376175 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22251/statm: 1339 227 188 169 0 50 0
[pid=22253] ppid=22251 vsize=36348 CPUtime=66.51
/proc/22253/stat : 22253 (smodels) R 22251 22249 22200 0 -1 4194304 8759 0 0 0 6645 6 0 0 25 0 1 0 156376176 37220352 8723 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134550178 0 0 4096 0 0 0 0 17 1 0 0
/proc/22253/statm: 9087 8723 210 20 0 8524 0
[pid=22254] ppid=22251 vsize=12268 CPUtime=0
/proc/22254/stat : 22254 (pbout.pl) S 22251 22249 22200 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 156376176 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 221245386850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/22254/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 79.01
Current children cumulated vsize (Kb) 71600

[startup+80.0498 s]
/proc/loadavg: 1.05 1.02 1.00 2/68 22254
/proc/meminfo: memFree=1461992/2055920 swapFree=4182912/4192956
[pid=22249] ppid=22247 vsize=5360 CPUtime=0
/proc/22249/stat : 22249 (runpbsmodels) S 22247 22249 22200 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156376174 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22249/statm: 1340 234 195 169 0 51 0
[pid=22250] ppid=22249 vsize=12268 CPUtime=0
/proc/22250/stat : 22250 (pbsmodels-v1.28) S 22249 22249 22200 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156376175 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 221245390740 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/22250/statm: 3067 383 293 3 0 167 0
[pid=22251] ppid=22250 vsize=5356 CPUtime=12.5
/proc/22251/stat : 22251 (sh) S 22250 22249 22200 0 -1 4194304 311 898 0 0 0 0 1248 2 16 0 1 0 156376175 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22251/statm: 1339 227 188 169 0 50 0
[pid=22253] ppid=22251 vsize=36348 CPUtime=76.52
/proc/22253/stat : 22253 (smodels) R 22251 22249 22200 0 -1 4194304 8759 0 0 0 7646 6 0 0 25 0 1 0 156376176 37220352 8723 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134550238 0 0 4096 0 0 0 0 17 1 0 0
/proc/22253/statm: 9087 8723 210 20 0 8524 0
[pid=22254] ppid=22251 vsize=12268 CPUtime=0
/proc/22254/stat : 22254 (pbout.pl) S 22251 22249 22200 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 156376176 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 221245386850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/22254/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 89.02
Current children cumulated vsize (Kb) 71600

[startup+90.0559 s]
/proc/loadavg: 1.04 1.02 1.00 2/68 22254
/proc/meminfo: memFree=1461992/2055920 swapFree=4182912/4192956
[pid=22249] ppid=22247 vsize=5360 CPUtime=0
/proc/22249/stat : 22249 (runpbsmodels) S 22247 22249 22200 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156376174 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22249/statm: 1340 234 195 169 0 51 0
[pid=22250] ppid=22249 vsize=12268 CPUtime=0
/proc/22250/stat : 22250 (pbsmodels-v1.28) S 22249 22249 22200 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156376175 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 221245390740 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0

################
# More data... #
################

/proc/22253/stat : 22253 (smodels) R 22251 22249 22200 0 -1 4194304 8769 0 0 0 178100 16 0 0 25 0 1 0 156376176 37220352 8733 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134530990 0 0 4096 0 0 0 0 17 1 0 0
/proc/22253/statm: 9087 8733 212 20 0 8524 0
[pid=22254] ppid=22251 vsize=12408 CPUtime=0
/proc/22254/stat : 22254 (pbout.pl) S 22251 22249 22200 0 -1 4194304 505 0 0 0 0 0 0 0 16 0 1 0 156376176 12705792 464 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 221245386850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/22254/statm: 3102 464 333 3 0 202 0
Current children cumulated CPU time (s) 1793.66
Current children cumulated vsize (Kb) 71740

[startup+1786.28 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 22452
/proc/meminfo: memFree=1461224/2055920 swapFree=4182912/4192956
[pid=22249] ppid=22247 vsize=5360 CPUtime=0
/proc/22249/stat : 22249 (runpbsmodels) S 22247 22249 22200 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156376174 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22249/statm: 1340 234 195 169 0 51 0
[pid=22250] ppid=22249 vsize=12268 CPUtime=0
/proc/22250/stat : 22250 (pbsmodels-v1.28) S 22249 22249 22200 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156376175 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 221245390740 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/22250/statm: 3067 383 293 3 0 167 0
[pid=22251] ppid=22250 vsize=5356 CPUtime=12.5
/proc/22251/stat : 22251 (sh) S 22250 22249 22200 0 -1 4194304 311 898 0 0 0 0 1248 2 16 0 1 0 156376175 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22251/statm: 1339 227 188 169 0 50 0
[pid=22253] ppid=22251 vsize=36348 CPUtime=1782.17
/proc/22253/stat : 22253 (smodels) R 22251 22249 22200 0 -1 4194304 8769 0 0 0 178201 16 0 0 25 0 1 0 156376176 37220352 8733 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134555230 0 0 4096 0 0 0 0 17 1 0 0
/proc/22253/statm: 9087 8733 212 20 0 8524 0
[pid=22254] ppid=22251 vsize=12408 CPUtime=0
/proc/22254/stat : 22254 (pbout.pl) S 22251 22249 22200 0 -1 4194304 505 0 0 0 0 0 0 0 16 0 1 0 156376176 12705792 464 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 221245386850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/22254/statm: 3102 464 333 3 0 202 0
Current children cumulated CPU time (s) 1794.67
Current children cumulated vsize (Kb) 71740

[startup+1787.28 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 22452
/proc/meminfo: memFree=1461224/2055920 swapFree=4182912/4192956
[pid=22249] ppid=22247 vsize=5360 CPUtime=0
/proc/22249/stat : 22249 (runpbsmodels) S 22247 22249 22200 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156376174 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22249/statm: 1340 234 195 169 0 51 0
[pid=22250] ppid=22249 vsize=12268 CPUtime=0
/proc/22250/stat : 22250 (pbsmodels-v1.28) S 22249 22249 22200 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156376175 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 221245390740 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/22250/statm: 3067 383 293 3 0 167 0
[pid=22251] ppid=22250 vsize=5356 CPUtime=12.5
/proc/22251/stat : 22251 (sh) S 22250 22249 22200 0 -1 4194304 311 898 0 0 0 0 1248 2 16 0 1 0 156376175 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22251/statm: 1339 227 188 169 0 50 0
[pid=22253] ppid=22251 vsize=36348 CPUtime=1783.17
/proc/22253/stat : 22253 (smodels) R 22251 22249 22200 0 -1 4194304 8769 0 0 0 178301 16 0 0 25 0 1 0 156376176 37220352 8733 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134549899 0 0 4096 0 0 0 0 17 1 0 0
/proc/22253/statm: 9087 8733 212 20 0 8524 0
[pid=22254] ppid=22251 vsize=12408 CPUtime=0
/proc/22254/stat : 22254 (pbout.pl) S 22251 22249 22200 0 -1 4194304 505 0 0 0 0 0 0 0 16 0 1 0 156376176 12705792 464 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 221245386850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/22254/statm: 3102 464 333 3 0 202 0
Current children cumulated CPU time (s) 1795.67
Current children cumulated vsize (Kb) 71740

[startup+1788.29 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 22452
/proc/meminfo: memFree=1461224/2055920 swapFree=4182912/4192956
[pid=22249] ppid=22247 vsize=5360 CPUtime=0
/proc/22249/stat : 22249 (runpbsmodels) S 22247 22249 22200 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156376174 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22249/statm: 1340 234 195 169 0 51 0
[pid=22250] ppid=22249 vsize=12268 CPUtime=0
/proc/22250/stat : 22250 (pbsmodels-v1.28) S 22249 22249 22200 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156376175 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 221245390740 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/22250/statm: 3067 383 293 3 0 167 0
[pid=22251] ppid=22250 vsize=5356 CPUtime=12.5
/proc/22251/stat : 22251 (sh) S 22250 22249 22200 0 -1 4194304 311 898 0 0 0 0 1248 2 16 0 1 0 156376175 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22251/statm: 1339 227 188 169 0 50 0
[pid=22253] ppid=22251 vsize=36348 CPUtime=1784.18
/proc/22253/stat : 22253 (smodels) R 22251 22249 22200 0 -1 4194304 8769 0 0 0 178402 16 0 0 25 0 1 0 156376176 37220352 8733 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531207 0 0 4096 0 0 0 0 17 1 0 0
/proc/22253/statm: 9087 8733 212 20 0 8524 0
[pid=22254] ppid=22251 vsize=12408 CPUtime=0
/proc/22254/stat : 22254 (pbout.pl) S 22251 22249 22200 0 -1 4194304 505 0 0 0 0 0 0 0 16 0 1 0 156376176 12705792 464 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 221245386850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/22254/statm: 3102 464 333 3 0 202 0
Current children cumulated CPU time (s) 1796.68
Current children cumulated vsize (Kb) 71740

[startup+1789.29 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 22452
/proc/meminfo: memFree=1461224/2055920 swapFree=4182912/4192956
[pid=22249] ppid=22247 vsize=5360 CPUtime=0
/proc/22249/stat : 22249 (runpbsmodels) S 22247 22249 22200 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156376174 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22249/statm: 1340 234 195 169 0 51 0
[pid=22250] ppid=22249 vsize=12268 CPUtime=0
/proc/22250/stat : 22250 (pbsmodels-v1.28) S 22249 22249 22200 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156376175 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 221245390740 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/22250/statm: 3067 383 293 3 0 167 0
[pid=22251] ppid=22250 vsize=5356 CPUtime=12.5
/proc/22251/stat : 22251 (sh) S 22250 22249 22200 0 -1 4194304 311 898 0 0 0 0 1248 2 16 0 1 0 156376175 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22251/statm: 1339 227 188 169 0 50 0
[pid=22253] ppid=22251 vsize=36348 CPUtime=1785.18
/proc/22253/stat : 22253 (smodels) R 22251 22249 22200 0 -1 4194304 8769 0 0 0 178502 16 0 0 25 0 1 0 156376176 37220352 8733 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531207 0 0 4096 0 0 0 0 17 1 0 0
/proc/22253/statm: 9087 8733 212 20 0 8524 0
[pid=22254] ppid=22251 vsize=12408 CPUtime=0
/proc/22254/stat : 22254 (pbout.pl) S 22251 22249 22200 0 -1 4194304 505 0 0 0 0 0 0 0 16 0 1 0 156376176 12705792 464 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 221245386850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/22254/statm: 3102 464 333 3 0 202 0
Current children cumulated CPU time (s) 1797.68
Current children cumulated vsize (Kb) 71740

[startup+1790.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 22452
/proc/meminfo: memFree=1461224/2055920 swapFree=4182912/4192956
[pid=22249] ppid=22247 vsize=5360 CPUtime=0
/proc/22249/stat : 22249 (runpbsmodels) S 22247 22249 22200 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156376174 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22249/statm: 1340 234 195 169 0 51 0
[pid=22250] ppid=22249 vsize=12268 CPUtime=0
/proc/22250/stat : 22250 (pbsmodels-v1.28) S 22249 22249 22200 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156376175 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 221245390740 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/22250/statm: 3067 383 293 3 0 167 0
[pid=22251] ppid=22250 vsize=5356 CPUtime=12.5
/proc/22251/stat : 22251 (sh) S 22250 22249 22200 0 -1 4194304 311 898 0 0 0 0 1248 2 16 0 1 0 156376175 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22251/statm: 1339 227 188 169 0 50 0
[pid=22253] ppid=22251 vsize=36348 CPUtime=1786.19
/proc/22253/stat : 22253 (smodels) R 22251 22249 22200 0 -1 4194304 8769 0 0 0 178603 16 0 0 25 0 1 0 156376176 37220352 8733 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134530983 0 0 4096 0 0 0 0 17 1 0 0
/proc/22253/statm: 9087 8733 212 20 0 8524 0
[pid=22254] ppid=22251 vsize=12408 CPUtime=0
/proc/22254/stat : 22254 (pbout.pl) S 22251 22249 22200 0 -1 4194304 505 0 0 0 0 0 0 0 16 0 1 0 156376176 12705792 464 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 221245386850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/22254/statm: 3102 464 333 3 0 202 0
Current children cumulated CPU time (s) 1798.69
Current children cumulated vsize (Kb) 71740

[startup+1791.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 22452
/proc/meminfo: memFree=1461224/2055920 swapFree=4182912/4192956
[pid=22249] ppid=22247 vsize=5360 CPUtime=0
/proc/22249/stat : 22249 (runpbsmodels) S 22247 22249 22200 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156376174 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22249/statm: 1340 234 195 169 0 51 0
[pid=22250] ppid=22249 vsize=12268 CPUtime=0
/proc/22250/stat : 22250 (pbsmodels-v1.28) S 22249 22249 22200 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156376175 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 221245390740 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/22250/statm: 3067 383 293 3 0 167 0
[pid=22251] ppid=22250 vsize=5356 CPUtime=12.5
/proc/22251/stat : 22251 (sh) S 22250 22249 22200 0 -1 4194304 311 898 0 0 0 0 1248 2 16 0 1 0 156376175 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22251/statm: 1339 227 188 169 0 50 0
[pid=22253] ppid=22251 vsize=36348 CPUtime=1787.19
/proc/22253/stat : 22253 (smodels) R 22251 22249 22200 0 -1 4194304 8769 0 0 0 178703 16 0 0 25 0 1 0 156376176 37220352 8733 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134550944 0 0 4096 0 0 0 0 17 1 0 0
/proc/22253/statm: 9087 8733 212 20 0 8524 0
[pid=22254] ppid=22251 vsize=12408 CPUtime=0
/proc/22254/stat : 22254 (pbout.pl) S 22251 22249 22200 0 -1 4194304 505 0 0 0 0 0 0 0 16 0 1 0 156376176 12705792 464 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 221245386850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/22254/statm: 3102 464 333 3 0 202 0
Current children cumulated CPU time (s) 1799.69
Current children cumulated vsize (Kb) 71740

[startup+1792.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 22452
/proc/meminfo: memFree=1461224/2055920 swapFree=4182912/4192956
[pid=22249] ppid=22247 vsize=5360 CPUtime=0
/proc/22249/stat : 22249 (runpbsmodels) S 22247 22249 22200 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156376174 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22249/statm: 1340 234 195 169 0 51 0
[pid=22250] ppid=22249 vsize=12268 CPUtime=0
/proc/22250/stat : 22250 (pbsmodels-v1.28) S 22249 22249 22200 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156376175 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 221245390740 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/22250/statm: 3067 383 293 3 0 167 0
[pid=22251] ppid=22250 vsize=5356 CPUtime=12.5
/proc/22251/stat : 22251 (sh) S 22250 22249 22200 0 -1 4194304 311 898 0 0 0 0 1248 2 16 0 1 0 156376175 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22251/statm: 1339 227 188 169 0 50 0
[pid=22253] ppid=22251 vsize=36348 CPUtime=1788.2
/proc/22253/stat : 22253 (smodels) R 22251 22249 22200 0 -1 4194304 8769 0 0 0 178804 16 0 0 25 0 1 0 156376176 37220352 8733 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134551008 0 0 4096 0 0 0 0 17 1 0 0
/proc/22253/statm: 9087 8733 212 20 0 8524 0
[pid=22254] ppid=22251 vsize=12408 CPUtime=0
/proc/22254/stat : 22254 (pbout.pl) S 22251 22249 22200 0 -1 4194304 505 0 0 0 0 0 0 0 16 0 1 0 156376176 12705792 464 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 221245386850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/22254/statm: 3102 464 333 3 0 202 0
Current children cumulated CPU time (s) 1800.7
Current children cumulated vsize (Kb) 71740



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1792.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 22452
/proc/meminfo: memFree=1461224/2055920 swapFree=4182912/4192956
[pid=22249] ppid=22247 vsize=5360 CPUtime=0
/proc/22249/stat : 22249 (runpbsmodels) S 22247 22249 22200 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156376174 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22249/statm: 1340 234 195 169 0 51 0
[pid=22250] ppid=22249 vsize=12268 CPUtime=0
/proc/22250/stat : 22250 (pbsmodels-v1.28) S 22249 22249 22200 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156376175 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 221245390740 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/22250/statm: 3067 383 293 3 0 167 0
[pid=22251] ppid=22250 vsize=5356 CPUtime=12.5
/proc/22251/stat : 22251 (sh) S 22250 22249 22200 0 -1 4194304 311 898 0 0 0 0 1248 2 16 0 1 0 156376175 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22251/statm: 1339 227 188 169 0 50 0
[pid=22253] ppid=22251 vsize=36348 CPUtime=1788.2
/proc/22253/stat : 22253 (smodels) R 22251 22249 22200 0 -1 4194304 8769 0 0 0 178804 16 0 0 25 0 1 0 156376176 37220352 8733 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134548919 0 0 4096 0 0 0 0 17 1 0 0
/proc/22253/statm: 9087 8733 212 20 0 8524 0
[pid=22254] ppid=22251 vsize=12408 CPUtime=0
/proc/22254/stat : 22254 (pbout.pl) S 22251 22249 22200 0 -1 4194304 505 0 0 0 0 0 0 0 16 0 1 0 156376176 12705792 464 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 221245386850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/22254/statm: 3102 464 333 3 0 202 0
Current children cumulated CPU time (s) 1800.7
Current children cumulated vsize (Kb) 71740

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)

!!! problem with CPU time !!!
wait4(...,&childrusage) returns 22249 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=999 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=999
CPU time returned by wait4() is 0.001998
while last known CPU time is 1800.7

Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...

Real time (s): 1792.34
CPU time (s): 1800.7
CPU user time (s): 1800.52
CPU system time (s): 0.18
CPU usage (%): 100.467
Max. virtual memory (cumulated for all children) (Kb): 71740
The end

Begin job on node21 on Fri Jul 28 13:59:14 UTC 2006


FILE ID= 49584-1154095154

PBS_JOBID= 885869

BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-C499.b.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node21/49584-1154095154/instance-49584-1154095154.opb 369012937  ROOT/tmp/node21/49584-1154095154
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node21/watcher-49584-1154095154 -o ROOT/results/node21/solver-49584-1154095154 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node21/49584-1154095154/instance-49584-1154095154.opb 369012937  ROOT/tmp/node21/49584-1154095154

MD5SUM SOLVER= f639f6b7f53e3afd14340f75c0e271ee 82c14a26114306e436bf36ef1d1c85a0 c893ceb51a2aaa4ab2f96d97b043cdf0 8c810dcfce02286b111d075d14837741 79b233270d136fcdcf9d8f80d20efef0
MD5SUM BENCH=  0b80319f4195f1e1329c2c4b63b416b0

RANDOM SEED= 369012937

TIMEOUT= 1800 seconds


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.231
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.231
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1497176 kB
Buffers:         22380 kB
Cached:         486172 kB
SwapCached:       3692 kB
Active:          54208 kB
Inactive:       462880 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1497176 kB
SwapTotal:     4192956 kB
SwapFree:      4182912 kB
Dirty:             168 kB
Writeback:           0 kB
Mapped:          14468 kB
Slab:            27648 kB
Committed_AS:   687900 kB
PageTables:       1412 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node21 on Fri Jul 28 14:29:06 UTC 2006