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

OK	66

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/node54/watcher-51082-1154095162 -o ROOT/results/node54/solver-51082-1154095162 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node54/51082-1154095162/instance-51082-1154095162.opb 841498280 ROOT/tmp/node54/51082-1154095162 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.99 2/64 496
/proc/meminfo: memFree=1548664/2055920 swapFree=4168420/4192956
[pid=496] ppid=494 vsize=5360 CPUtime=0
/proc/496/stat : 496 (runpbsmodels) S 494 496 447 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156386261 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 242744877892 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/496/statm: 1340 234 195 169 0 51 0
[pid=497] ppid=496 vsize=12128 CPUtime=0
/proc/497/stat : 497 (pbsmodels-v1.31) R 496 496 447 0 -1 4194304 251 0 0 0 0 0 0 0 20 0 1 0 156386262 12419072 216 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 242762839247 0 0 4224 0 0 0 0 17 1 0 0
/proc/497/statm: 3032 223 169 3 0 132 0

[startup+10.0051 s]
/proc/loadavg: 1.09 1.02 1.01 2/69 501
/proc/meminfo: memFree=1540112/2055920 swapFree=4168420/4192956
[pid=496] ppid=494 vsize=5360 CPUtime=0
/proc/496/stat : 496 (runpbsmodels) S 494 496 447 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156386261 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 242744877892 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/496/statm: 1340 234 195 169 0 51 0
[pid=497] ppid=496 vsize=12268 CPUtime=0
/proc/497/stat : 497 (pbsmodels-v1.31) S 496 496 447 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156386262 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 242753781652 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/497/statm: 3067 383 293 3 0 167 0
[pid=498] ppid=497 vsize=5356 CPUtime=0
/proc/498/stat : 498 (sh) S 497 496 447 0 -1 4194304 309 0 0 0 0 0 0 0 18 0 1 0 156386262 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 242744877892 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/498/statm: 1339 227 188 169 0 50 0
[pid=499] ppid=498 vsize=13928 CPUtime=9.97
/proc/499/stat : 499 (pb2smodels) R 498 496 447 0 -1 4194304 886 0 0 0 996 1 0 0 25 0 1 0 156386262 14262272 844 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 242753777618 0 0 4224 0 0 0 0 17 1 0 0
/proc/499/statm: 3482 844 340 3 0 582 0
[pid=500] ppid=498 vsize=7748 CPUtime=4.57
/proc/500/stat : 500 (smodels-2.31) R 498 496 447 0 -1 4194304 1606 0 0 0 457 0 0 0 16 0 1 0 156386262 7933952 1570 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 4160243552 0 0 4096 0 0 0 0 17 1 0 0
/proc/500/statm: 1937 1570 206 21 0 1373 0
[pid=501] ppid=498 vsize=12268 CPUtime=0
/proc/501/stat : 501 (pbout.new.pl) S 498 496 447 0 -1 4194304 417 0 0 0 0 0 0 0 21 0 1 0 156386262 12562432 377 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 242753777762 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/501/statm: 3067 377 289 3 0 167 0
Current children cumulated CPU time (s) 14.54
Current children cumulated vsize (Kb) 44660

[startup+20.0126 s]
/proc/loadavg: 1.07 1.02 1.00 2/68 501
/proc/meminfo: memFree=1531224/2055920 swapFree=4168420/4192956
[pid=496] ppid=494 vsize=5360 CPUtime=0
/proc/496/stat : 496 (runpbsmodels) S 494 496 447 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156386261 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 242744877892 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/496/statm: 1340 234 195 169 0 51 0
[pid=497] ppid=496 vsize=12268 CPUtime=0
/proc/497/stat : 497 (pbsmodels-v1.31) S 496 496 447 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156386262 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 242753781652 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/497/statm: 3067 383 293 3 0 167 0
[pid=498] ppid=497 vsize=5356 CPUtime=12.41
/proc/498/stat : 498 (sh) S 497 496 447 0 -1 4194304 309 888 0 0 0 0 1240 1 16 0 1 0 156386262 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 242744877892 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/498/statm: 1339 227 188 169 0 50 0
[pid=500] ppid=498 vsize=18768 CPUtime=13.48
/proc/500/stat : 500 (smodels-2.31) R 498 496 447 0 -1 4194304 4334 0 0 0 1347 1 0 0 25 0 1 0 156386262 19218432 4298 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532711 0 0 4096 0 0 0 0 17 1 0 0
/proc/500/statm: 4692 4298 210 21 0 4128 0
[pid=501] ppid=498 vsize=12268 CPUtime=0
/proc/501/stat : 501 (pbout.new.pl) S 498 496 447 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 156386262 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 242753777762 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/501/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 25.89
Current children cumulated vsize (Kb) 54020

[startup+30.0196 s]
/proc/loadavg: 1.06 1.01 1.00 2/68 501
/proc/meminfo: memFree=1531352/2055920 swapFree=4168420/4192956
[pid=496] ppid=494 vsize=5360 CPUtime=0
/proc/496/stat : 496 (runpbsmodels) S 494 496 447 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156386261 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 242744877892 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/496/statm: 1340 234 195 169 0 51 0
[pid=497] ppid=496 vsize=12268 CPUtime=0
/proc/497/stat : 497 (pbsmodels-v1.31) S 496 496 447 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156386262 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 242753781652 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/497/statm: 3067 383 293 3 0 167 0
[pid=498] ppid=497 vsize=5356 CPUtime=12.41
/proc/498/stat : 498 (sh) S 497 496 447 0 -1 4194304 309 888 0 0 0 0 1240 1 16 0 1 0 156386262 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 242744877892 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/498/statm: 1339 227 188 169 0 50 0
[pid=500] ppid=498 vsize=18768 CPUtime=23.48
/proc/500/stat : 500 (smodels-2.31) R 498 496 447 0 -1 4194304 4334 0 0 0 2347 1 0 0 25 0 1 0 156386262 19218432 4298 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539285 0 0 4096 0 0 0 0 17 1 0 0
/proc/500/statm: 4692 4298 210 21 0 4128 0
[pid=501] ppid=498 vsize=12268 CPUtime=0
/proc/501/stat : 501 (pbout.new.pl) S 498 496 447 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 156386262 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 242753777762 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/501/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 35.89
Current children cumulated vsize (Kb) 54020

[startup+40.0267 s]
/proc/loadavg: 1.05 1.01 1.00 2/68 501
/proc/meminfo: memFree=1531416/2055920 swapFree=4168420/4192956
[pid=496] ppid=494 vsize=5360 CPUtime=0
/proc/496/stat : 496 (runpbsmodels) S 494 496 447 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156386261 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 242744877892 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/496/statm: 1340 234 195 169 0 51 0
[pid=497] ppid=496 vsize=12268 CPUtime=0
/proc/497/stat : 497 (pbsmodels-v1.31) S 496 496 447 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156386262 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 242753781652 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/497/statm: 3067 383 293 3 0 167 0
[pid=498] ppid=497 vsize=5356 CPUtime=12.41
/proc/498/stat : 498 (sh) S 497 496 447 0 -1 4194304 309 888 0 0 0 0 1240 1 16 0 1 0 156386262 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 242744877892 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/498/statm: 1339 227 188 169 0 50 0
[pid=500] ppid=498 vsize=18768 CPUtime=33.49
/proc/500/stat : 500 (smodels-2.31) R 498 496 447 0 -1 4194304 4334 0 0 0 3348 1 0 0 25 0 1 0 156386262 19218432 4298 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539260 0 0 4096 0 0 0 0 17 1 0 0
/proc/500/statm: 4692 4298 210 21 0 4128 0
[pid=501] ppid=498 vsize=12268 CPUtime=0
/proc/501/stat : 501 (pbout.new.pl) S 498 496 447 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 156386262 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 242753777762 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/501/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 45.9
Current children cumulated vsize (Kb) 54020

[startup+50.0338 s]
/proc/loadavg: 1.04 1.01 1.00 2/68 501
/proc/meminfo: memFree=1531416/2055920 swapFree=4168420/4192956
[pid=496] ppid=494 vsize=5360 CPUtime=0
/proc/496/stat : 496 (runpbsmodels) S 494 496 447 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156386261 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 242744877892 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/496/statm: 1340 234 195 169 0 51 0
[pid=497] ppid=496 vsize=12268 CPUtime=0
/proc/497/stat : 497 (pbsmodels-v1.31) S 496 496 447 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156386262 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 242753781652 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/497/statm: 3067 383 293 3 0 167 0
[pid=498] ppid=497 vsize=5356 CPUtime=12.41
/proc/498/stat : 498 (sh) S 497 496 447 0 -1 4194304 309 888 0 0 0 0 1240 1 16 0 1 0 156386262 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 242744877892 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/498/statm: 1339 227 188 169 0 50 0
[pid=500] ppid=498 vsize=18768 CPUtime=43.49
/proc/500/stat : 500 (smodels-2.31) R 498 496 447 0 -1 4194304 4334 0 0 0 4348 1 0 0 25 0 1 0 156386262 19218432 4298 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532935 0 0 4096 0 0 0 0 17 1 0 0
/proc/500/statm: 4692 4298 210 21 0 4128 0
[pid=501] ppid=498 vsize=12268 CPUtime=0
/proc/501/stat : 501 (pbout.new.pl) S 498 496 447 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 156386262 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 242753777762 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/501/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 55.9
Current children cumulated vsize (Kb) 54020

[startup+60.0409 s]
/proc/loadavg: 1.04 1.01 1.00 2/68 501
/proc/meminfo: memFree=1531416/2055920 swapFree=4168420/4192956
[pid=496] ppid=494 vsize=5360 CPUtime=0
/proc/496/stat : 496 (runpbsmodels) S 494 496 447 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156386261 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 242744877892 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/496/statm: 1340 234 195 169 0 51 0
[pid=497] ppid=496 vsize=12268 CPUtime=0
/proc/497/stat : 497 (pbsmodels-v1.31) S 496 496 447 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156386262 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 242753781652 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/497/statm: 3067 383 293 3 0 167 0
[pid=498] ppid=497 vsize=5356 CPUtime=12.41
/proc/498/stat : 498 (sh) S 497 496 447 0 -1 4194304 309 888 0 0 0 0 1240 1 16 0 1 0 156386262 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 242744877892 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/498/statm: 1339 227 188 169 0 50 0
[pid=500] ppid=498 vsize=18768 CPUtime=53.49
/proc/500/stat : 500 (smodels-2.31) R 498 496 447 0 -1 4194304 4334 0 0 0 5348 1 0 0 25 0 1 0 156386262 19218432 4298 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539260 0 0 4096 0 0 0 0 17 1 0 0
/proc/500/statm: 4692 4298 210 21 0 4128 0
[pid=501] ppid=498 vsize=12268 CPUtime=0
/proc/501/stat : 501 (pbout.new.pl) S 498 496 447 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 156386262 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 242753777762 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/501/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 65.9
Current children cumulated vsize (Kb) 54020

[startup+70.048 s]
/proc/loadavg: 1.03 1.01 1.00 2/68 501
/proc/meminfo: memFree=1531416/2055920 swapFree=4168420/4192956
[pid=496] ppid=494 vsize=5360 CPUtime=0
/proc/496/stat : 496 (runpbsmodels) S 494 496 447 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156386261 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 242744877892 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/496/statm: 1340 234 195 169 0 51 0
[pid=497] ppid=496 vsize=12268 CPUtime=0
/proc/497/stat : 497 (pbsmodels-v1.31) S 496 496 447 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156386262 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 242753781652 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/497/statm: 3067 383 293 3 0 167 0
[pid=498] ppid=497 vsize=5356 CPUtime=12.41
/proc/498/stat : 498 (sh) S 497 496 447 0 -1 4194304 309 888 0 0 0 0 1240 1 16 0 1 0 156386262 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 242744877892 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/498/statm: 1339 227 188 169 0 50 0
[pid=500] ppid=498 vsize=18768 CPUtime=63.5
/proc/500/stat : 500 (smodels-2.31) R 498 496 447 0 -1 4194304 4334 0 0 0 6349 1 0 0 25 0 1 0 156386262 19218432 4298 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532711 0 0 4096 0 0 0 0 17 1 0 0
/proc/500/statm: 4692 4298 210 21 0 4128 0
[pid=501] ppid=498 vsize=12268 CPUtime=0
/proc/501/stat : 501 (pbout.new.pl) S 498 496 447 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 156386262 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 242753777762 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/501/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 75.91
Current children cumulated vsize (Kb) 54020

[startup+80.0551 s]
/proc/loadavg: 1.02 1.01 1.00 2/68 501
/proc/meminfo: memFree=1531416/2055920 swapFree=4168420/4192956
[pid=496] ppid=494 vsize=5360 CPUtime=0
/proc/496/stat : 496 (runpbsmodels) S 494 496 447 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156386261 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 242744877892 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/496/statm: 1340 234 195 169 0 51 0
[pid=497] ppid=496 vsize=12268 CPUtime=0
/proc/497/stat : 497 (pbsmodels-v1.31) S 496 496 447 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156386262 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 242753781652 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/497/statm: 3067 383 293 3 0 167 0
[pid=498] ppid=497 vsize=5356 CPUtime=12.41
/proc/498/stat : 498 (sh) S 497 496 447 0 -1 4194304 309 888 0 0 0 0 1240 1 16 0 1 0 156386262 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 242744877892 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/498/statm: 1339 227 188 169 0 50 0
[pid=500] ppid=498 vsize=18768 CPUtime=73.5
/proc/500/stat : 500 (smodels-2.31) R 498 496 447 0 -1 4194304 4334 0 0 0 7349 1 0 0 25 0 1 0 156386262 19218432 4298 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532887 0 0 4096 0 0 0 0 17 1 0 0
/proc/500/statm: 4692 4298 210 21 0 4128 0
[pid=501] ppid=498 vsize=12268 CPUtime=0
/proc/501/stat : 501 (pbout.new.pl) S 498 496 447 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 156386262 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 242753777762 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/501/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 85.91
Current children cumulated vsize (Kb) 54020

[startup+90.0622 s]
/proc/loadavg: 1.02 1.01 1.00 2/68 501
/proc/meminfo: memFree=1531416/2055920 swapFree=4168420/4192956
[pid=496] ppid=494 vsize=5360 CPUtime=0
/proc/496/stat : 496 (runpbsmodels) S 494 496 447 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156386261 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 242744877892 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/496/statm: 1340 234 195 169 0 51 0
[pid=497] ppid=496 vsize=12268 CPUtime=0
/proc/497/stat : 497 (pbsmodels-v1.31) S 496 496 447 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156386262 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 242753781652 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0

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

/proc/500/stat : 500 (smodels-2.31) R 498 496 447 0 -1 4194304 4658 0 0 0 178092 6 0 0 25 0 1 0 156386262 20434944 4622 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532935 0 0 4096 0 0 0 0 17 1 0 0
/proc/500/statm: 4989 4622 213 21 0 4425 0
[pid=501] ppid=498 vsize=12404 CPUtime=0
/proc/501/stat : 501 (pbout.new.pl) S 498 496 447 0 -1 4194304 504 0 0 0 0 0 0 0 17 0 1 0 156386262 12701696 464 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 242753777762 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/501/statm: 3101 464 333 3 0 201 0
Current children cumulated CPU time (s) 1793.39
Current children cumulated vsize (Kb) 55344

[startup+1789.25 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 699
/proc/meminfo: memFree=1529688/2055920 swapFree=4168420/4192956
[pid=496] ppid=494 vsize=5360 CPUtime=0
/proc/496/stat : 496 (runpbsmodels) S 494 496 447 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156386261 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 242744877892 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/496/statm: 1340 234 195 169 0 51 0
[pid=497] ppid=496 vsize=12268 CPUtime=0
/proc/497/stat : 497 (pbsmodels-v1.31) S 496 496 447 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156386262 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 242753781652 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/497/statm: 3067 383 293 3 0 167 0
[pid=498] ppid=497 vsize=5356 CPUtime=12.41
/proc/498/stat : 498 (sh) S 497 496 447 0 -1 4194304 309 888 0 0 0 0 1240 1 16 0 1 0 156386262 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 242744877892 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/498/statm: 1339 227 188 169 0 50 0
[pid=500] ppid=498 vsize=19956 CPUtime=1781.98
/proc/500/stat : 500 (smodels-2.31) R 498 496 447 0 -1 4194304 4658 0 0 0 178192 6 0 0 25 0 1 0 156386262 20434944 4622 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539287 0 0 4096 0 0 0 0 17 1 0 0
/proc/500/statm: 4989 4622 213 21 0 4425 0
[pid=501] ppid=498 vsize=12404 CPUtime=0
/proc/501/stat : 501 (pbout.new.pl) S 498 496 447 0 -1 4194304 504 0 0 0 0 0 0 0 17 0 1 0 156386262 12701696 464 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 242753777762 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/501/statm: 3101 464 333 3 0 201 0
Current children cumulated CPU time (s) 1794.39
Current children cumulated vsize (Kb) 55344

[startup+1790.25 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 699
/proc/meminfo: memFree=1529688/2055920 swapFree=4168420/4192956
[pid=496] ppid=494 vsize=5360 CPUtime=0
/proc/496/stat : 496 (runpbsmodels) S 494 496 447 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156386261 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 242744877892 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/496/statm: 1340 234 195 169 0 51 0
[pid=497] ppid=496 vsize=12268 CPUtime=0
/proc/497/stat : 497 (pbsmodels-v1.31) S 496 496 447 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156386262 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 242753781652 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/497/statm: 3067 383 293 3 0 167 0
[pid=498] ppid=497 vsize=5356 CPUtime=12.41
/proc/498/stat : 498 (sh) S 497 496 447 0 -1 4194304 309 888 0 0 0 0 1240 1 16 0 1 0 156386262 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 242744877892 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/498/statm: 1339 227 188 169 0 50 0
[pid=500] ppid=498 vsize=19956 CPUtime=1782.98
/proc/500/stat : 500 (smodels-2.31) R 498 496 447 0 -1 4194304 4658 0 0 0 178292 6 0 0 25 0 1 0 156386262 20434944 4622 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134521731 0 0 4096 0 0 0 0 17 1 0 0
/proc/500/statm: 4989 4622 213 21 0 4425 0
[pid=501] ppid=498 vsize=12404 CPUtime=0
/proc/501/stat : 501 (pbout.new.pl) S 498 496 447 0 -1 4194304 504 0 0 0 0 0 0 0 17 0 1 0 156386262 12701696 464 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 242753777762 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/501/statm: 3101 464 333 3 0 201 0
Current children cumulated CPU time (s) 1795.39
Current children cumulated vsize (Kb) 55344

[startup+1791.26 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 699
/proc/meminfo: memFree=1529688/2055920 swapFree=4168420/4192956
[pid=496] ppid=494 vsize=5360 CPUtime=0
/proc/496/stat : 496 (runpbsmodels) S 494 496 447 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156386261 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 242744877892 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/496/statm: 1340 234 195 169 0 51 0
[pid=497] ppid=496 vsize=12268 CPUtime=0
/proc/497/stat : 497 (pbsmodels-v1.31) S 496 496 447 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156386262 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 242753781652 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/497/statm: 3067 383 293 3 0 167 0
[pid=498] ppid=497 vsize=5356 CPUtime=12.41
/proc/498/stat : 498 (sh) S 497 496 447 0 -1 4194304 309 888 0 0 0 0 1240 1 16 0 1 0 156386262 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 242744877892 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/498/statm: 1339 227 188 169 0 50 0
[pid=500] ppid=498 vsize=19956 CPUtime=1783.99
/proc/500/stat : 500 (smodels-2.31) R 498 496 447 0 -1 4194304 4658 0 0 0 178393 6 0 0 25 0 1 0 156386262 20434944 4622 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539728 0 0 4096 0 0 0 0 17 1 0 0
/proc/500/statm: 4989 4622 213 21 0 4425 0
[pid=501] ppid=498 vsize=12404 CPUtime=0
/proc/501/stat : 501 (pbout.new.pl) S 498 496 447 0 -1 4194304 504 0 0 0 0 0 0 0 17 0 1 0 156386262 12701696 464 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 242753777762 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/501/statm: 3101 464 333 3 0 201 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (Kb) 55344

[startup+1792.26 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 699
/proc/meminfo: memFree=1529688/2055920 swapFree=4168420/4192956
[pid=496] ppid=494 vsize=5360 CPUtime=0
/proc/496/stat : 496 (runpbsmodels) S 494 496 447 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156386261 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 242744877892 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/496/statm: 1340 234 195 169 0 51 0
[pid=497] ppid=496 vsize=12268 CPUtime=0
/proc/497/stat : 497 (pbsmodels-v1.31) S 496 496 447 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156386262 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 242753781652 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/497/statm: 3067 383 293 3 0 167 0
[pid=498] ppid=497 vsize=5356 CPUtime=12.41
/proc/498/stat : 498 (sh) S 497 496 447 0 -1 4194304 309 888 0 0 0 0 1240 1 16 0 1 0 156386262 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 242744877892 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/498/statm: 1339 227 188 169 0 50 0
[pid=500] ppid=498 vsize=19956 CPUtime=1784.99
/proc/500/stat : 500 (smodels-2.31) R 498 496 447 0 -1 4194304 4658 0 0 0 178493 6 0 0 25 0 1 0 156386262 20434944 4622 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533223 0 0 4096 0 0 0 0 17 1 0 0
/proc/500/statm: 4989 4622 213 21 0 4425 0
[pid=501] ppid=498 vsize=12404 CPUtime=0
/proc/501/stat : 501 (pbout.new.pl) S 498 496 447 0 -1 4194304 504 0 0 0 0 0 0 0 17 0 1 0 156386262 12701696 464 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 242753777762 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/501/statm: 3101 464 333 3 0 201 0
Current children cumulated CPU time (s) 1797.4
Current children cumulated vsize (Kb) 55344

[startup+1793.27 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 699
/proc/meminfo: memFree=1529688/2055920 swapFree=4168420/4192956
[pid=496] ppid=494 vsize=5360 CPUtime=0
/proc/496/stat : 496 (runpbsmodels) S 494 496 447 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156386261 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 242744877892 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/496/statm: 1340 234 195 169 0 51 0
[pid=497] ppid=496 vsize=12268 CPUtime=0
/proc/497/stat : 497 (pbsmodels-v1.31) S 496 496 447 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156386262 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 242753781652 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/497/statm: 3067 383 293 3 0 167 0
[pid=498] ppid=497 vsize=5356 CPUtime=12.41
/proc/498/stat : 498 (sh) S 497 496 447 0 -1 4194304 309 888 0 0 0 0 1240 1 16 0 1 0 156386262 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 242744877892 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/498/statm: 1339 227 188 169 0 50 0
[pid=500] ppid=498 vsize=19956 CPUtime=1786
/proc/500/stat : 500 (smodels-2.31) R 498 496 447 0 -1 4194304 4658 0 0 0 178594 6 0 0 25 0 1 0 156386262 20434944 4622 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539712 0 0 4096 0 0 0 0 17 1 0 0
/proc/500/statm: 4989 4622 213 21 0 4425 0
[pid=501] ppid=498 vsize=12404 CPUtime=0
/proc/501/stat : 501 (pbout.new.pl) S 498 496 447 0 -1 4194304 504 0 0 0 0 0 0 0 17 0 1 0 156386262 12701696 464 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 242753777762 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/501/statm: 3101 464 333 3 0 201 0
Current children cumulated CPU time (s) 1798.41
Current children cumulated vsize (Kb) 55344

[startup+1794.28 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 699
/proc/meminfo: memFree=1529688/2055920 swapFree=4168420/4192956
[pid=496] ppid=494 vsize=5360 CPUtime=0
/proc/496/stat : 496 (runpbsmodels) S 494 496 447 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156386261 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 242744877892 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/496/statm: 1340 234 195 169 0 51 0
[pid=497] ppid=496 vsize=12268 CPUtime=0
/proc/497/stat : 497 (pbsmodels-v1.31) S 496 496 447 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156386262 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 242753781652 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/497/statm: 3067 383 293 3 0 167 0
[pid=498] ppid=497 vsize=5356 CPUtime=12.41
/proc/498/stat : 498 (sh) S 497 496 447 0 -1 4194304 309 888 0 0 0 0 1240 1 16 0 1 0 156386262 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 242744877892 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/498/statm: 1339 227 188 169 0 50 0
[pid=500] ppid=498 vsize=19956 CPUtime=1787.01
/proc/500/stat : 500 (smodels-2.31) R 498 496 447 0 -1 4194304 4658 0 0 0 178695 6 0 0 25 0 1 0 156386262 20434944 4622 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532935 0 0 4096 0 0 0 0 17 1 0 0
/proc/500/statm: 4989 4622 213 21 0 4425 0
[pid=501] ppid=498 vsize=12404 CPUtime=0
/proc/501/stat : 501 (pbout.new.pl) S 498 496 447 0 -1 4194304 504 0 0 0 0 0 0 0 17 0 1 0 156386262 12701696 464 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 242753777762 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/501/statm: 3101 464 333 3 0 201 0
Current children cumulated CPU time (s) 1799.42
Current children cumulated vsize (Kb) 55344

[startup+1795.28 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 699
/proc/meminfo: memFree=1529688/2055920 swapFree=4168420/4192956
[pid=496] ppid=494 vsize=5360 CPUtime=0
/proc/496/stat : 496 (runpbsmodels) S 494 496 447 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156386261 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 242744877892 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/496/statm: 1340 234 195 169 0 51 0
[pid=497] ppid=496 vsize=12268 CPUtime=0
/proc/497/stat : 497 (pbsmodels-v1.31) S 496 496 447 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156386262 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 242753781652 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/497/statm: 3067 383 293 3 0 167 0
[pid=498] ppid=497 vsize=5356 CPUtime=12.41
/proc/498/stat : 498 (sh) S 497 496 447 0 -1 4194304 309 888 0 0 0 0 1240 1 16 0 1 0 156386262 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 242744877892 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/498/statm: 1339 227 188 169 0 50 0
[pid=500] ppid=498 vsize=19956 CPUtime=1788.01
/proc/500/stat : 500 (smodels-2.31) R 498 496 447 0 -1 4194304 4658 0 0 0 178795 6 0 0 25 0 1 0 156386262 20434944 4622 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539768 0 0 4096 0 0 0 0 17 1 0 0
/proc/500/statm: 4989 4622 213 21 0 4425 0
[pid=501] ppid=498 vsize=12404 CPUtime=0
/proc/501/stat : 501 (pbout.new.pl) S 498 496 447 0 -1 4194304 504 0 0 0 0 0 0 0 17 0 1 0 156386262 12701696 464 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 242753777762 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/501/statm: 3101 464 333 3 0 201 0
Current children cumulated CPU time (s) 1800.42
Current children cumulated vsize (Kb) 55344



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1795.29 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 699
/proc/meminfo: memFree=1529688/2055920 swapFree=4168420/4192956
[pid=496] ppid=494 vsize=5360 CPUtime=0
/proc/496/stat : 496 (runpbsmodels) S 494 496 447 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156386261 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 242744877892 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/496/statm: 1340 234 195 169 0 51 0
[pid=497] ppid=496 vsize=12268 CPUtime=0
/proc/497/stat : 497 (pbsmodels-v1.31) S 496 496 447 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156386262 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 242753781652 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/497/statm: 3067 383 293 3 0 167 0
[pid=498] ppid=497 vsize=5356 CPUtime=12.41
/proc/498/stat : 498 (sh) S 497 496 447 0 -1 4194304 309 888 0 0 0 0 1240 1 16 0 1 0 156386262 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 242744877892 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/498/statm: 1339 227 188 169 0 50 0
[pid=500] ppid=498 vsize=19956 CPUtime=1788.02
/proc/500/stat : 500 (smodels-2.31) R 498 496 447 0 -1 4194304 4658 0 0 0 178796 6 0 0 25 0 1 0 156386262 20434944 4622 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532935 0 0 4096 0 0 0 0 17 1 0 0
/proc/500/statm: 4989 4622 213 21 0 4425 0
[pid=501] ppid=498 vsize=12404 CPUtime=0
/proc/501/stat : 501 (pbout.new.pl) S 498 496 447 0 -1 4194304 504 0 0 0 0 0 0 0 17 0 1 0 156386262 12701696 464 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 242753777762 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/501/statm: 3101 464 333 3 0 201 0
Current children cumulated CPU time (s) 1800.43
Current children cumulated vsize (Kb) 55344

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 496 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=999
CPU time returned by wait4() is 0.002998
while last known CPU time is 1800.43

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

Real time (s): 1795.31
CPU time (s): 1800.43
CPU user time (s): 1800.36
CPU system time (s): 0.07
CPU usage (%): 100.285
Max. virtual memory (cumulated for all children) (Kb): 55344
The end

Begin job on node54 on Fri Jul 28 13:59:22 UTC 2006


FILE ID= 51082-1154095162

PBS_JOBID= 885870

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-v1.31/runpbsmodels ROOT/tmp/node54/51082-1154095162/instance-51082-1154095162.opb 841498280  ROOT/tmp/node54/51082-1154095162
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node54/watcher-51082-1154095162 -o ROOT/results/node54/solver-51082-1154095162 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node54/51082-1154095162/instance-51082-1154095162.opb 841498280  ROOT/tmp/node54/51082-1154095162

MD5SUM SOLVER= 95562bc622ddb1f976359072aec5ad24 7fcd858753252b26b88f3383e979819a c732bc4c3aeda9195daa74a308a1f78e b7e54d975d35ab28450b6de5c14d303e f7da3270b2cd5190fa0cd9af9b854ca4
MD5SUM BENCH=  0b80319f4195f1e1329c2c4b63b416b0

RANDOM SEED= 841498280

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.256
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.256
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:       1548872 kB
Buffers:         36220 kB
Cached:         395056 kB
SwapCached:      18680 kB
Active:          44336 kB
Inactive:       410528 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1548872 kB
SwapTotal:     4192956 kB
SwapFree:      4168420 kB
Dirty:             232 kB
Writeback:           0 kB
Mapped:          14468 kB
Slab:            38172 kB
Committed_AS:   629716 kB
PageTables:       1428 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node54 on Fri Jul 28 14:29:17 UTC 2006