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

OK	115

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/node61/watcher-45697-1154043747 -o ROOT/results/node61/solver-45697-1154043747 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node61/45697-1154043747/instance-45697-1154043747.opb 675728267 ROOT/tmp/node61/45697-1154043747 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.00 1.00 0.99 2/64 1163
/proc/meminfo: memFree=1264664/2055920 swapFree=4183000/4192956
[pid=1163] ppid=1161 vsize=5344 CPUtime=0
/proc/1163/stat : 1163 (runpbsmodels) R 1161 1163 1114 0 -1 4194304 156 0 0 0 0 0 0 0 19 0 1 0 151244873 5472256 125 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 246406513280 0 0 4096 0 0 0 0 17 1 0 0
/proc/1163/statm: 1338 140 114 169 0 49 0

[startup+10.0023 s]
/proc/loadavg: 1.00 1.00 0.99 2/68 1168
/proc/meminfo: memFree=1261104/2055920 swapFree=4183000/4192956
[pid=1163] ppid=1161 vsize=5360 CPUtime=0
/proc/1163/stat : 1163 (runpbsmodels) S 1161 1163 1114 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151244873 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1163/statm: 1340 234 195 169 0 51 0
[pid=1164] ppid=1163 vsize=12268 CPUtime=0
/proc/1164/stat : 1164 (pbsmodels-v1.31) S 1163 1163 1114 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151244874 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 246415409044 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/1164/statm: 3067 383 293 3 0 167 0
[pid=1165] ppid=1164 vsize=5356 CPUtime=0.49
/proc/1165/stat : 1165 (sh) S 1164 1163 1114 0 -1 4194304 309 858 0 0 0 0 49 0 16 0 1 0 151244877 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1165/statm: 1339 227 188 169 0 50 0
[pid=1167] ppid=1165 vsize=4332 CPUtime=9.61
/proc/1167/stat : 1167 (smodels-2.31) R 1165 1163 1114 0 -1 4194304 744 0 0 0 961 0 0 0 25 0 1 0 151244878 4435968 708 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532935 0 0 4096 0 0 0 0 17 1 0 0
/proc/1167/statm: 1083 708 213 21 0 519 0
[pid=1168] ppid=1165 vsize=12400 CPUtime=0
/proc/1168/stat : 1168 (pbout.new.pl) S 1165 1163 1114 0 -1 4194304 500 0 0 0 0 0 0 0 16 0 1 0 151244878 12697600 460 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 246415405154 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/1168/statm: 3100 460 333 3 0 200 0
Current children cumulated CPU time (s) 10.1
Current children cumulated vsize (Kb) 39716

[startup+20.009 s]
/proc/loadavg: 1.00 1.00 0.99 2/68 1168
/proc/meminfo: memFree=1260848/2055920 swapFree=4183000/4192956
[pid=1163] ppid=1161 vsize=5360 CPUtime=0
/proc/1163/stat : 1163 (runpbsmodels) S 1161 1163 1114 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151244873 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1163/statm: 1340 234 195 169 0 51 0
[pid=1164] ppid=1163 vsize=12268 CPUtime=0
/proc/1164/stat : 1164 (pbsmodels-v1.31) S 1163 1163 1114 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151244874 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 246415409044 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/1164/statm: 3067 383 293 3 0 167 0
[pid=1165] ppid=1164 vsize=5356 CPUtime=0.49
/proc/1165/stat : 1165 (sh) S 1164 1163 1114 0 -1 4194304 309 858 0 0 0 0 49 0 16 0 1 0 151244877 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1165/statm: 1339 227 188 169 0 50 0
[pid=1167] ppid=1165 vsize=4596 CPUtime=19.61
/proc/1167/stat : 1167 (smodels-2.31) R 1165 1163 1114 0 -1 4194304 824 0 0 0 1961 0 0 0 25 0 1 0 151244878 4706304 788 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539728 0 0 4096 0 0 0 0 17 1 0 0
/proc/1167/statm: 1149 788 213 21 0 585 0
[pid=1168] ppid=1165 vsize=12400 CPUtime=0
/proc/1168/stat : 1168 (pbout.new.pl) S 1165 1163 1114 0 -1 4194304 500 0 0 0 0 0 0 0 16 0 1 0 151244878 12697600 460 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 246415405154 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/1168/statm: 3100 460 333 3 0 200 0
Current children cumulated CPU time (s) 20.1
Current children cumulated vsize (Kb) 39980

[startup+30.0148 s]
/proc/loadavg: 1.00 1.00 0.99 2/68 1168
/proc/meminfo: memFree=1260592/2055920 swapFree=4183000/4192956
[pid=1163] ppid=1161 vsize=5360 CPUtime=0
/proc/1163/stat : 1163 (runpbsmodels) S 1161 1163 1114 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151244873 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1163/statm: 1340 234 195 169 0 51 0
[pid=1164] ppid=1163 vsize=12268 CPUtime=0
/proc/1164/stat : 1164 (pbsmodels-v1.31) S 1163 1163 1114 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151244874 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 246415409044 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/1164/statm: 3067 383 293 3 0 167 0
[pid=1165] ppid=1164 vsize=5356 CPUtime=0.49
/proc/1165/stat : 1165 (sh) S 1164 1163 1114 0 -1 4194304 309 858 0 0 0 0 49 0 16 0 1 0 151244877 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1165/statm: 1339 227 188 169 0 50 0
[pid=1167] ppid=1165 vsize=4992 CPUtime=29.62
/proc/1167/stat : 1167 (smodels-2.31) R 1165 1163 1114 0 -1 4194304 904 0 0 0 2962 0 0 0 25 0 1 0 151244878 5111808 868 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 1 0 0
/proc/1167/statm: 1248 868 213 21 0 684 0
[pid=1168] ppid=1165 vsize=12400 CPUtime=0
/proc/1168/stat : 1168 (pbout.new.pl) S 1165 1163 1114 0 -1 4194304 500 0 0 0 0 0 0 0 16 0 1 0 151244878 12697600 460 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 246415405154 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/1168/statm: 3100 460 333 3 0 200 0
Current children cumulated CPU time (s) 30.11
Current children cumulated vsize (Kb) 40376

[startup+40.0206 s]
/proc/loadavg: 1.00 1.00 0.99 2/68 1168
/proc/meminfo: memFree=1259952/2055920 swapFree=4183000/4192956
[pid=1163] ppid=1161 vsize=5360 CPUtime=0
/proc/1163/stat : 1163 (runpbsmodels) S 1161 1163 1114 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151244873 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1163/statm: 1340 234 195 169 0 51 0
[pid=1164] ppid=1163 vsize=12268 CPUtime=0
/proc/1164/stat : 1164 (pbsmodels-v1.31) S 1163 1163 1114 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151244874 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 246415409044 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/1164/statm: 3067 383 293 3 0 167 0
[pid=1165] ppid=1164 vsize=5356 CPUtime=0.49
/proc/1165/stat : 1165 (sh) S 1164 1163 1114 0 -1 4194304 309 858 0 0 0 0 49 0 16 0 1 0 151244877 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1165/statm: 1339 227 188 169 0 50 0
[pid=1167] ppid=1165 vsize=5520 CPUtime=39.62
/proc/1167/stat : 1167 (smodels-2.31) R 1165 1163 1114 0 -1 4194304 1061 0 0 0 3962 0 0 0 25 0 1 0 151244878 5652480 1025 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134522348 0 0 4096 0 0 0 0 17 1 0 0
/proc/1167/statm: 1380 1025 213 21 0 816 0
[pid=1168] ppid=1165 vsize=12400 CPUtime=0
/proc/1168/stat : 1168 (pbout.new.pl) S 1165 1163 1114 0 -1 4194304 500 0 0 0 0 0 0 0 16 0 1 0 151244878 12697600 460 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 246415405154 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/1168/statm: 3100 460 333 3 0 200 0
Current children cumulated CPU time (s) 40.11
Current children cumulated vsize (Kb) 40904

[startup+50.0263 s]
/proc/loadavg: 1.00 1.00 0.99 2/68 1168
/proc/meminfo: memFree=1259696/2055920 swapFree=4183000/4192956
[pid=1163] ppid=1161 vsize=5360 CPUtime=0
/proc/1163/stat : 1163 (runpbsmodels) S 1161 1163 1114 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151244873 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1163/statm: 1340 234 195 169 0 51 0
[pid=1164] ppid=1163 vsize=12268 CPUtime=0
/proc/1164/stat : 1164 (pbsmodels-v1.31) S 1163 1163 1114 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151244874 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 246415409044 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/1164/statm: 3067 383 293 3 0 167 0
[pid=1165] ppid=1164 vsize=5356 CPUtime=0.49
/proc/1165/stat : 1165 (sh) S 1164 1163 1114 0 -1 4194304 309 858 0 0 0 0 49 0 16 0 1 0 151244877 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1165/statm: 1339 227 188 169 0 50 0
[pid=1167] ppid=1165 vsize=5916 CPUtime=49.62
/proc/1167/stat : 1167 (smodels-2.31) R 1165 1163 1114 0 -1 4194304 1140 0 0 0 4962 0 0 0 25 0 1 0 151244878 6057984 1104 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134558151 0 0 4096 0 0 0 0 17 1 0 0
/proc/1167/statm: 1479 1104 213 21 0 915 0
[pid=1168] ppid=1165 vsize=12400 CPUtime=0
/proc/1168/stat : 1168 (pbout.new.pl) S 1165 1163 1114 0 -1 4194304 500 0 0 0 0 0 0 0 16 0 1 0 151244878 12697600 460 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 246415405154 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/1168/statm: 3100 460 333 3 0 200 0
Current children cumulated CPU time (s) 50.11
Current children cumulated vsize (Kb) 41300

[startup+60.0321 s]
/proc/loadavg: 1.00 1.00 0.99 2/68 1168
/proc/meminfo: memFree=1259056/2055920 swapFree=4183000/4192956
[pid=1163] ppid=1161 vsize=5360 CPUtime=0
/proc/1163/stat : 1163 (runpbsmodels) S 1161 1163 1114 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151244873 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1163/statm: 1340 234 195 169 0 51 0
[pid=1164] ppid=1163 vsize=12268 CPUtime=0
/proc/1164/stat : 1164 (pbsmodels-v1.31) S 1163 1163 1114 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151244874 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 246415409044 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/1164/statm: 3067 383 293 3 0 167 0
[pid=1165] ppid=1164 vsize=5356 CPUtime=0.49
/proc/1165/stat : 1165 (sh) S 1164 1163 1114 0 -1 4194304 309 858 0 0 0 0 49 0 16 0 1 0 151244877 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1165/statm: 1339 227 188 169 0 50 0
[pid=1167] ppid=1165 vsize=6576 CPUtime=59.62
/proc/1167/stat : 1167 (smodels-2.31) R 1165 1163 1114 0 -1 4194304 1296 0 0 0 5962 0 0 0 25 0 1 0 151244878 6733824 1260 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134538554 0 0 4096 0 0 0 0 17 1 0 0
/proc/1167/statm: 1644 1260 213 21 0 1080 0
[pid=1168] ppid=1165 vsize=12400 CPUtime=0
/proc/1168/stat : 1168 (pbout.new.pl) S 1165 1163 1114 0 -1 4194304 500 0 0 0 0 0 0 0 16 0 1 0 151244878 12697600 460 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 246415405154 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/1168/statm: 3100 460 333 3 0 200 0
Current children cumulated CPU time (s) 60.11
Current children cumulated vsize (Kb) 41960

[startup+70.0379 s]
/proc/loadavg: 1.00 1.00 0.99 2/68 1168
/proc/meminfo: memFree=1258736/2055920 swapFree=4183000/4192956
[pid=1163] ppid=1161 vsize=5360 CPUtime=0
/proc/1163/stat : 1163 (runpbsmodels) S 1161 1163 1114 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151244873 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1163/statm: 1340 234 195 169 0 51 0
[pid=1164] ppid=1163 vsize=12268 CPUtime=0
/proc/1164/stat : 1164 (pbsmodels-v1.31) S 1163 1163 1114 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151244874 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 246415409044 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/1164/statm: 3067 383 293 3 0 167 0
[pid=1165] ppid=1164 vsize=5356 CPUtime=0.49
/proc/1165/stat : 1165 (sh) S 1164 1163 1114 0 -1 4194304 309 858 0 0 0 0 49 0 16 0 1 0 151244877 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1165/statm: 1339 227 188 169 0 50 0
[pid=1167] ppid=1165 vsize=6840 CPUtime=69.62
/proc/1167/stat : 1167 (smodels-2.31) R 1165 1163 1114 0 -1 4194304 1375 0 0 0 6962 0 0 0 25 0 1 0 151244878 7004160 1339 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134521466 0 0 4096 0 0 0 0 17 1 0 0
/proc/1167/statm: 1710 1339 213 21 0 1146 0
[pid=1168] ppid=1165 vsize=12400 CPUtime=0
/proc/1168/stat : 1168 (pbout.new.pl) S 1165 1163 1114 0 -1 4194304 500 0 0 0 0 0 0 0 16 0 1 0 151244878 12697600 460 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 246415405154 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/1168/statm: 3100 460 333 3 0 200 0
Current children cumulated CPU time (s) 70.11
Current children cumulated vsize (Kb) 42224

[startup+80.0446 s]
/proc/loadavg: 1.00 1.00 0.99 2/68 1168
/proc/meminfo: memFree=1258416/2055920 swapFree=4183000/4192956
[pid=1163] ppid=1161 vsize=5360 CPUtime=0
/proc/1163/stat : 1163 (runpbsmodels) S 1161 1163 1114 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151244873 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1163/statm: 1340 234 195 169 0 51 0
[pid=1164] ppid=1163 vsize=12268 CPUtime=0
/proc/1164/stat : 1164 (pbsmodels-v1.31) S 1163 1163 1114 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151244874 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 246415409044 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/1164/statm: 3067 383 293 3 0 167 0
[pid=1165] ppid=1164 vsize=5356 CPUtime=0.49
/proc/1165/stat : 1165 (sh) S 1164 1163 1114 0 -1 4194304 309 858 0 0 0 0 49 0 16 0 1 0 151244877 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1165/statm: 1339 227 188 169 0 50 0
[pid=1167] ppid=1165 vsize=7104 CPUtime=79.63
/proc/1167/stat : 1167 (smodels-2.31) R 1165 1163 1114 0 -1 4194304 1452 0 0 0 7963 0 0 0 25 0 1 0 151244878 7274496 1416 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134558143 0 0 4096 0 0 0 0 17 1 0 0
/proc/1167/statm: 1776 1416 213 21 0 1212 0
[pid=1168] ppid=1165 vsize=12400 CPUtime=0
/proc/1168/stat : 1168 (pbout.new.pl) S 1165 1163 1114 0 -1 4194304 500 0 0 0 0 0 0 0 16 0 1 0 151244878 12697600 460 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 246415405154 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/1168/statm: 3100 460 333 3 0 200 0
Current children cumulated CPU time (s) 80.12
Current children cumulated vsize (Kb) 42488

[startup+90.0514 s]
/proc/loadavg: 1.00 1.00 0.99 2/68 1168
/proc/meminfo: memFree=1257776/2055920 swapFree=4183000/4192956
[pid=1163] ppid=1161 vsize=5360 CPUtime=0
/proc/1163/stat : 1163 (runpbsmodels) S 1161 1163 1114 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151244873 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1163/statm: 1340 234 195 169 0 51 0
[pid=1164] ppid=1163 vsize=12268 CPUtime=0
/proc/1164/stat : 1164 (pbsmodels-v1.31) S 1163 1163 1114 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151244874 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 246415409044 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/1164/statm: 3067 383 293 3 0 167 0
[pid=1165] ppid=1164 vsize=5356 CPUtime=0.49
/proc/1165/stat : 1165 (sh) S 1164 1163 1114 0 -1 4194304 309 858 0 0 0 0 49 0 16 0 1 0 151244877 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1165/statm: 1339 227 188 169 0 50 0
[pid=1167] ppid=1165 vsize=7764 CPUtime=89.63
/proc/1167/stat : 1167 (smodels-2.31) R 1165 1163 1114 0 -1 4194304 1608 0 0 0 8963 0 0 0 25 0 1 0 151244878 7950336 1572 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533169 0 0 4096 0 0 0 0 17 1 0 0

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

/proc/1167/stat : 1167 (smodels-2.31) R 1165 1163 1114 0 -1 4194304 13685 0 0 0 179307 8 0 0 25 0 1 0 151244878 57421824 13649 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539248 0 0 4096 0 0 0 0 17 1 0 0
/proc/1167/statm: 14019 13649 213 21 0 13455 0
[pid=1168] ppid=1165 vsize=12400 CPUtime=0
/proc/1168/stat : 1168 (pbout.new.pl) S 1165 1163 1114 0 -1 4194304 508 0 0 0 0 0 0 0 16 0 1 0 151244878 12697600 468 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 246415405154 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/1168/statm: 3100 468 333 3 0 200 0
Current children cumulated CPU time (s) 1793.64
Current children cumulated vsize (Kb) 91460

[startup+1795.21 s]
/proc/loadavg: 1.00 1.00 0.99 2/68 1369
/proc/meminfo: memFree=1208944/2055920 swapFree=4183000/4192956
[pid=1163] ppid=1161 vsize=5360 CPUtime=0
/proc/1163/stat : 1163 (runpbsmodels) S 1161 1163 1114 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151244873 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1163/statm: 1340 234 195 169 0 51 0
[pid=1164] ppid=1163 vsize=12268 CPUtime=0
/proc/1164/stat : 1164 (pbsmodels-v1.31) S 1163 1163 1114 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151244874 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 246415409044 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/1164/statm: 3067 383 293 3 0 167 0
[pid=1165] ppid=1164 vsize=5356 CPUtime=0.49
/proc/1165/stat : 1165 (sh) S 1164 1163 1114 0 -1 4194304 309 858 0 0 0 0 49 0 16 0 1 0 151244877 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1165/statm: 1339 227 188 169 0 50 0
[pid=1167] ppid=1165 vsize=56076 CPUtime=1794.16
/proc/1167/stat : 1167 (smodels-2.31) R 1165 1163 1114 0 -1 4194304 13685 0 0 0 179408 8 0 0 25 0 1 0 151244878 57421824 13649 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134529312 0 0 4096 0 0 0 0 17 1 0 0
/proc/1167/statm: 14019 13649 213 21 0 13455 0
[pid=1168] ppid=1165 vsize=12400 CPUtime=0
/proc/1168/stat : 1168 (pbout.new.pl) S 1165 1163 1114 0 -1 4194304 508 0 0 0 0 0 0 0 16 0 1 0 151244878 12697600 468 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 246415405154 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/1168/statm: 3100 468 333 3 0 200 0
Current children cumulated CPU time (s) 1794.65
Current children cumulated vsize (Kb) 91460

[startup+1796.21 s]
/proc/loadavg: 1.00 1.00 0.99 2/68 1369
/proc/meminfo: memFree=1208944/2055920 swapFree=4183000/4192956
[pid=1163] ppid=1161 vsize=5360 CPUtime=0
/proc/1163/stat : 1163 (runpbsmodels) S 1161 1163 1114 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151244873 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1163/statm: 1340 234 195 169 0 51 0
[pid=1164] ppid=1163 vsize=12268 CPUtime=0
/proc/1164/stat : 1164 (pbsmodels-v1.31) S 1163 1163 1114 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151244874 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 246415409044 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/1164/statm: 3067 383 293 3 0 167 0
[pid=1165] ppid=1164 vsize=5356 CPUtime=0.49
/proc/1165/stat : 1165 (sh) S 1164 1163 1114 0 -1 4194304 309 858 0 0 0 0 49 0 16 0 1 0 151244877 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1165/statm: 1339 227 188 169 0 50 0
[pid=1167] ppid=1165 vsize=56076 CPUtime=1795.17
/proc/1167/stat : 1167 (smodels-2.31) R 1165 1163 1114 0 -1 4194304 13685 0 0 0 179509 8 0 0 25 0 1 0 151244878 57421824 13649 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532948 0 0 4096 0 0 0 0 17 1 0 0
/proc/1167/statm: 14019 13649 213 21 0 13455 0
[pid=1168] ppid=1165 vsize=12400 CPUtime=0
/proc/1168/stat : 1168 (pbout.new.pl) S 1165 1163 1114 0 -1 4194304 508 0 0 0 0 0 0 0 16 0 1 0 151244878 12697600 468 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 246415405154 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/1168/statm: 3100 468 333 3 0 200 0
Current children cumulated CPU time (s) 1795.66
Current children cumulated vsize (Kb) 91460

[startup+1797.22 s]
/proc/loadavg: 1.00 1.00 0.99 2/68 1369
/proc/meminfo: memFree=1208944/2055920 swapFree=4183000/4192956
[pid=1163] ppid=1161 vsize=5360 CPUtime=0
/proc/1163/stat : 1163 (runpbsmodels) S 1161 1163 1114 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151244873 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1163/statm: 1340 234 195 169 0 51 0
[pid=1164] ppid=1163 vsize=12268 CPUtime=0
/proc/1164/stat : 1164 (pbsmodels-v1.31) S 1163 1163 1114 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151244874 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 246415409044 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/1164/statm: 3067 383 293 3 0 167 0
[pid=1165] ppid=1164 vsize=5356 CPUtime=0.49
/proc/1165/stat : 1165 (sh) S 1164 1163 1114 0 -1 4194304 309 858 0 0 0 0 49 0 16 0 1 0 151244877 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1165/statm: 1339 227 188 169 0 50 0
[pid=1167] ppid=1165 vsize=56076 CPUtime=1796.17
/proc/1167/stat : 1167 (smodels-2.31) R 1165 1163 1114 0 -1 4194304 13685 0 0 0 179609 8 0 0 25 0 1 0 151244878 57421824 13649 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134522348 0 0 4096 0 0 0 0 17 1 0 0
/proc/1167/statm: 14019 13649 213 21 0 13455 0
[pid=1168] ppid=1165 vsize=12400 CPUtime=0
/proc/1168/stat : 1168 (pbout.new.pl) S 1165 1163 1114 0 -1 4194304 508 0 0 0 0 0 0 0 16 0 1 0 151244878 12697600 468 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 246415405154 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/1168/statm: 3100 468 333 3 0 200 0
Current children cumulated CPU time (s) 1796.66
Current children cumulated vsize (Kb) 91460

[startup+1798.22 s]
/proc/loadavg: 1.00 1.00 0.99 2/68 1369
/proc/meminfo: memFree=1208944/2055920 swapFree=4183000/4192956
[pid=1163] ppid=1161 vsize=5360 CPUtime=0
/proc/1163/stat : 1163 (runpbsmodels) S 1161 1163 1114 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151244873 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1163/statm: 1340 234 195 169 0 51 0
[pid=1164] ppid=1163 vsize=12268 CPUtime=0
/proc/1164/stat : 1164 (pbsmodels-v1.31) S 1163 1163 1114 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151244874 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 246415409044 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/1164/statm: 3067 383 293 3 0 167 0
[pid=1165] ppid=1164 vsize=5356 CPUtime=0.49
/proc/1165/stat : 1165 (sh) S 1164 1163 1114 0 -1 4194304 309 858 0 0 0 0 49 0 16 0 1 0 151244877 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1165/statm: 1339 227 188 169 0 50 0
[pid=1167] ppid=1165 vsize=56076 CPUtime=1797.17
/proc/1167/stat : 1167 (smodels-2.31) R 1165 1163 1114 0 -1 4194304 13685 0 0 0 179709 8 0 0 25 0 1 0 151244878 57421824 13649 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134521002 0 0 4096 0 0 0 0 17 1 0 0
/proc/1167/statm: 14019 13649 213 21 0 13455 0
[pid=1168] ppid=1165 vsize=12400 CPUtime=0
/proc/1168/stat : 1168 (pbout.new.pl) S 1165 1163 1114 0 -1 4194304 508 0 0 0 0 0 0 0 16 0 1 0 151244878 12697600 468 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 246415405154 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/1168/statm: 3100 468 333 3 0 200 0
Current children cumulated CPU time (s) 1797.66
Current children cumulated vsize (Kb) 91460

[startup+1799.23 s]
/proc/loadavg: 1.00 1.00 0.99 2/68 1369
/proc/meminfo: memFree=1208944/2055920 swapFree=4183000/4192956
[pid=1163] ppid=1161 vsize=5360 CPUtime=0
/proc/1163/stat : 1163 (runpbsmodels) S 1161 1163 1114 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151244873 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1163/statm: 1340 234 195 169 0 51 0
[pid=1164] ppid=1163 vsize=12268 CPUtime=0
/proc/1164/stat : 1164 (pbsmodels-v1.31) S 1163 1163 1114 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151244874 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 246415409044 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/1164/statm: 3067 383 293 3 0 167 0
[pid=1165] ppid=1164 vsize=5356 CPUtime=0.49
/proc/1165/stat : 1165 (sh) S 1164 1163 1114 0 -1 4194304 309 858 0 0 0 0 49 0 16 0 1 0 151244877 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1165/statm: 1339 227 188 169 0 50 0
[pid=1167] ppid=1165 vsize=56076 CPUtime=1798.18
/proc/1167/stat : 1167 (smodels-2.31) R 1165 1163 1114 0 -1 4194304 13685 0 0 0 179810 8 0 0 25 0 1 0 151244878 57421824 13649 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532999 0 0 4096 0 0 0 0 17 1 0 0
/proc/1167/statm: 14019 13649 213 21 0 13455 0
[pid=1168] ppid=1165 vsize=12400 CPUtime=0
/proc/1168/stat : 1168 (pbout.new.pl) S 1165 1163 1114 0 -1 4194304 508 0 0 0 0 0 0 0 16 0 1 0 151244878 12697600 468 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 246415405154 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/1168/statm: 3100 468 333 3 0 200 0
Current children cumulated CPU time (s) 1798.67
Current children cumulated vsize (Kb) 91460

[startup+1800.23 s]
/proc/loadavg: 1.00 1.00 0.99 2/68 1369
/proc/meminfo: memFree=1208944/2055920 swapFree=4183000/4192956
[pid=1163] ppid=1161 vsize=5360 CPUtime=0
/proc/1163/stat : 1163 (runpbsmodels) S 1161 1163 1114 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151244873 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1163/statm: 1340 234 195 169 0 51 0
[pid=1164] ppid=1163 vsize=12268 CPUtime=0
/proc/1164/stat : 1164 (pbsmodels-v1.31) S 1163 1163 1114 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151244874 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 246415409044 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/1164/statm: 3067 383 293 3 0 167 0
[pid=1165] ppid=1164 vsize=5356 CPUtime=0.49
/proc/1165/stat : 1165 (sh) S 1164 1163 1114 0 -1 4194304 309 858 0 0 0 0 49 0 16 0 1 0 151244877 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1165/statm: 1339 227 188 169 0 50 0
[pid=1167] ppid=1165 vsize=56076 CPUtime=1799.18
/proc/1167/stat : 1167 (smodels-2.31) R 1165 1163 1114 0 -1 4194304 13685 0 0 0 179910 8 0 0 25 0 1 0 151244878 57421824 13649 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134521280 0 0 4096 0 0 0 0 17 1 0 0
/proc/1167/statm: 14019 13649 213 21 0 13455 0
[pid=1168] ppid=1165 vsize=12400 CPUtime=0
/proc/1168/stat : 1168 (pbout.new.pl) S 1165 1163 1114 0 -1 4194304 508 0 0 0 0 0 0 0 16 0 1 0 151244878 12697600 468 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 246415405154 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/1168/statm: 3100 468 333 3 0 200 0
Current children cumulated CPU time (s) 1799.67
Current children cumulated vsize (Kb) 91460

[startup+1801.24 s]
/proc/loadavg: 1.00 1.00 0.99 2/68 1369
/proc/meminfo: memFree=1208944/2055920 swapFree=4183000/4192956
[pid=1163] ppid=1161 vsize=5360 CPUtime=0
/proc/1163/stat : 1163 (runpbsmodels) S 1161 1163 1114 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151244873 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1163/statm: 1340 234 195 169 0 51 0
[pid=1164] ppid=1163 vsize=12268 CPUtime=0
/proc/1164/stat : 1164 (pbsmodels-v1.31) S 1163 1163 1114 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151244874 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 246415409044 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/1164/statm: 3067 383 293 3 0 167 0
[pid=1165] ppid=1164 vsize=5356 CPUtime=0.49
/proc/1165/stat : 1165 (sh) S 1164 1163 1114 0 -1 4194304 309 858 0 0 0 0 49 0 16 0 1 0 151244877 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1165/statm: 1339 227 188 169 0 50 0
[pid=1167] ppid=1165 vsize=56076 CPUtime=1800.19
/proc/1167/stat : 1167 (smodels-2.31) R 1165 1163 1114 0 -1 4194304 13685 0 0 0 180011 8 0 0 25 0 1 0 151244878 57421824 13649 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134558143 0 0 4096 0 0 0 0 17 1 0 0
/proc/1167/statm: 14019 13649 213 21 0 13455 0
[pid=1168] ppid=1165 vsize=12400 CPUtime=0
/proc/1168/stat : 1168 (pbout.new.pl) S 1165 1163 1114 0 -1 4194304 508 0 0 0 0 0 0 0 16 0 1 0 151244878 12697600 468 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 246415405154 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/1168/statm: 3100 468 333 3 0 200 0
Current children cumulated CPU time (s) 1800.68
Current children cumulated vsize (Kb) 91460



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.24 s]
/proc/loadavg: 1.00 1.00 0.99 2/68 1369
/proc/meminfo: memFree=1208944/2055920 swapFree=4183000/4192956
[pid=1163] ppid=1161 vsize=5360 CPUtime=0
/proc/1163/stat : 1163 (runpbsmodels) S 1161 1163 1114 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151244873 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1163/statm: 1340 234 195 169 0 51 0
[pid=1164] ppid=1163 vsize=12268 CPUtime=0
/proc/1164/stat : 1164 (pbsmodels-v1.31) S 1163 1163 1114 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151244874 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 246415409044 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/1164/statm: 3067 383 293 3 0 167 0
[pid=1165] ppid=1164 vsize=5356 CPUtime=0.49
/proc/1165/stat : 1165 (sh) S 1164 1163 1114 0 -1 4194304 309 858 0 0 0 0 49 0 16 0 1 0 151244877 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1165/statm: 1339 227 188 169 0 50 0
[pid=1167] ppid=1165 vsize=56076 CPUtime=1800.19
/proc/1167/stat : 1167 (smodels-2.31) R 1165 1163 1114 0 -1 4194304 13685 0 0 0 180011 8 0 0 25 0 1 0 151244878 57421824 13649 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134547504 0 0 4096 0 0 0 0 17 1 0 0
/proc/1167/statm: 14019 13649 213 21 0 13455 0
[pid=1168] ppid=1165 vsize=12400 CPUtime=0
/proc/1168/stat : 1168 (pbout.new.pl) S 1165 1163 1114 0 -1 4194304 508 0 0 0 0 0 0 0 16 0 1 0 151244878 12697600 468 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 246415405154 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/1168/statm: 3100 468 333 3 0 200 0
Current children cumulated CPU time (s) 1800.68
Current children cumulated vsize (Kb) 91460

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 1163 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=1999 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=0
CPU time returned by wait4() is 0.001999
while last known CPU time is 1800.68

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

Real time (s): 1801.27
CPU time (s): 1800.68
CPU user time (s): 1800.6
CPU system time (s): 0.08
CPU usage (%): 99.9674
Max. virtual memory (cumulated for all children) (Kb): 91460
The end

Begin job on node61 on Thu Jul 27 23:42:27 UTC 2006


FILE ID= 45697-1154043747

PBS_JOBID= 881433

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-exam.pi.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node61/45697-1154043747/instance-45697-1154043747.opb 675728267  ROOT/tmp/node61/45697-1154043747
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node61/watcher-45697-1154043747 -o ROOT/results/node61/solver-45697-1154043747 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node61/45697-1154043747/instance-45697-1154043747.opb 675728267  ROOT/tmp/node61/45697-1154043747

MD5SUM SOLVER= 95562bc622ddb1f976359072aec5ad24 7fcd858753252b26b88f3383e979819a c732bc4c3aeda9195daa74a308a1f78e b7e54d975d35ab28450b6de5c14d303e f7da3270b2cd5190fa0cd9af9b854ca4
MD5SUM BENCH=  c7b7ba2fb8a9fff5b9677d5bbd1edc0f

RANDOM SEED= 675728267

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.267
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.267
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:       1264872 kB
Buffers:         39756 kB
Cached:         662988 kB
SwapCached:       4048 kB
Active:         137812 kB
Inactive:       573800 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1264872 kB
SwapTotal:     4192956 kB
SwapFree:      4183000 kB
Dirty:             164 kB
Writeback:           0 kB
Mapped:          14764 kB
Slab:            65540 kB
Committed_AS:  1050300 kB
PageTables:       1404 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264884 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node61 on Fri Jul 28 00:12:28 UTC 2006