Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB-smodels 1.31 | SAT (TO) | 176 | 1800.33 | 1800.4 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-test4.pi.opb |
MD5SUM | cca57c347e264f92fb70010109aa24c5 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 104 |
Best CPU time to get the best result obtained on this benchmark | 1800.67 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 104 |
Optimality of the best value was proved | NO |
Number of variables | 6139 |
Total number of constraints | 1437 |
Number of constraints which are clauses | 1437 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 5 |
Maximum length of a constraint | 172 |
Number of terms in the objective function | 6139 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 6139 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 6139 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Running pbsmodels-v1.31 29.99 o 178 202.44 o 177 231.10 o 176 1800.38 sh: line 1: 1404 Done pb2smodels ROOT/tmp/node13/45695-1154043656/instance-45695-1154043656.opb ROOT/tmp/node13/45695-1154043656 1800.38 1405 Terminated | smodels-2.31 0 -seed 389647430 1800.38 1406 Terminated | pbout.new.pl ROOT/tmp/node13/45695-1154043656/instance-45695-1154043656.opb ROOT/tmp/node13/45695-1154043656 1800.39 s SATISFIABLE 1800.39 v x20 x25 x35 x66 x198 x231 x290 x431 x480 x511 x579 x605 x633 x670 x677 x678 x692 x734 x784 x793 x844 x864 x865 x914 x931 x952 x962 1800.39 v x1060 x1070 x1135 x1171 x1240 x1250 x1293 x1307 x1313 x1429 x1495 x1525 x1543 x1568 x1645 x1675 x1678 x1747 x1773 x1825 x1834 1800.39 v x1874 x1984 x2044 x2052 x2092 x2131 x2136 x2160 x2163 x2189 x2214 x2244 x2334 x2435 x2465 x2472 x2484 x2508 x2556 x2572 x2651 1800.39 v x2654 x2683 x2687 x2709 x2718 x2759 x2764 x2789 x2794 x2828 x2846 x2849 x2933 x2946 x3010 x3051 x3068 x3075 x3144 x3169 x3188 1800.39 v x3225 x3243 x3273 x3294 x3316 x3318 x3359 x3464 x3528 x3557 x3560 x3652 x3686 x3728 x3749 x3817 x3855 x3865 x3927 x3993 x4046 1800.39 v x4068 x4080 x4159 x4168 x4183 x4193 x4221 x4233 x4248 x4303 x4347 x4349 x4385 x4420 x4452 x4511 x4567 x4594 x4597 x4616 x4647 1800.39 v x4704 x4709 x4748 x4768 x4781 x4822 x4926 x4954 x4984 x5007 x5023 x5062 x5101 x5112 x5117 x5151 x5277 x5300 x5303 x5399 x5437 1800.39 v x5485 x5545 x5546 x5588 x5589 x5632 x5635 x5647 x5670 x5761 x5793 x5842 x5856 x5866 x5906 x5938 x5973 x5977 x6024 x6031 x6033 1800.39 v x6041 x6107 -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x21 -x22 -x23 -x24 -x26 -x27 1800.39 v -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 1800.39 v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 1800.39 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 1800.39 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 1800.39 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 1800.39 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 1800.39 v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1800.39 v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 1800.39 v -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x232 -x233 1800.39 v -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 1800.39 v -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 1800.39 v -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x291 -x292 -x293 -x294 -x295 -x296 -x297 1800.39 v -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 1800.39 v -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 1800.39 v -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 1800.39 v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 1800.39 v -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 1800.39 v -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 1800.39 v -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 1800.39 v -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 1800.39 v -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 1800.39 v -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 1800.39 v -x510 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 1800.39 v -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 1800.39 v -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 1800.39 v -x574 -x575 -x576 -x577 -x578 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 1800.39 v -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 1800.39 v -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x634 -x635 -x636 -x637 -x638 -x639 1800.39 v -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 1800.39 v -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x671 -x672 -x673 -x674 -x675 -x676 -x679 -x680 -x681 -x682 -x683 -x684 1800.39 v -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 1800.39 v -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 1800.39 v -x728 -x729 -x730 -x731 -x732 -x733 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 1800.39 v -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 1800.39 v -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 1800.39 v -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 1800.39 v -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 1800.39 v -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 1800.39 v -x858 -x859 -x860 -x861 -x862 -x863 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 1800.39 v -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 1800.39 v -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 1800.39 v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 1800.39 v -x946 -x947 -x948 -x949 -x950 -x951 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x963 -x964 -x965 -x966 -x967 -x968 1800.39 v -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 1800.39 v -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 1800.39 v -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 1800.39 v -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 1800.39 v -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 1800.39 v -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 1800.39 v -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 1800.39 v -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 1800.39 v -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 1800.39 v -x1130 -x1131 -x1132 -x1133 -x1134 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 1800.39 v -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 1800.39 v -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 1800.39 v -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 1800.39 v -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 1800.39 v -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 1800.39 v -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1251 -x1252 1800.39 v -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 1800.39 v -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 1800.39 v -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 1800.39 v -x1305 -x1306 -x1308 -x1309 -x1310 -x1311 -x1312 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 1800.39 v -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 1800.39 v -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 1800.39 v -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 1800.39 v -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 1800.39 v -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 1800.39 v -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 1800.39 v -x1426 -x1427 -x1428 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 1800.39 v -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 1800.39 v -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 1800.39 v -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 1800.39 v -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 1800.39 v -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1526 -x1527 -x1528 -x1529 -x1530 1800.39 v -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1544 -x1545 -x1546 -x1547 -x1548 1800.39 v -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 1800.39 v -x1566 -x1567 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 1800.39 v -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 1800.39 v -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 1800.39 v -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 1800.39 v -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 1800.39 v -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 1800.39 v -x1670 -x1671 -x1672 -x1673 -x1674 -x1676 -x1677 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 1800.39 v -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 1800.39 v -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 1800.39 v -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 1800.39 v -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 1800.39 v -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1774 -x1775 1800.39 v -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 1800.39 v -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 1800.39 v -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1826 -x1827 1800.39 v -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 1800.39 v -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 1800.39 v -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 1800.39 v -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 1800.39 v -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 1800.39 v -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 1800.39 v -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 1800.39 v -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 1800.39 v -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 1800.39 v -x1983 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 1800.39 v -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 1800.39 v -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 1800.39 v -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2053 1800.39 v -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 1800.39 v -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 1800.39 v -x2088 -x2089 -x2090 -x2091 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 1800.39 v -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 1800.39 v -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2132 -x2133 -x2134 -x2135 -x2137 -x2138 -x2139 -x2140 -x2141 1800.39 v -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 1800.39 v -x2159 -x2161 -x2162 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 1800.39 v -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 1800.39 v -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 1800.39 v -x2213 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 1800.39 v -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2245 -x2246 -x2247 -x2248 1800.39 v -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 1800.39 v -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 1800.39 v -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 1800.39 v -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 1800.39 v -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 1800.39 v -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 1800.39 v -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 1800.39 v -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 1800.39 v -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 1800.39 v -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 1800.39 v -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2436 -x2437 1800.39 v -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 1800.39 v -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2473 1800.39 v -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 1800.39 v -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2509 1800.39 v -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 1800.39 v -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 1800.39 v -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2557 -x2558 -x2559 -x2560 -x2561 1800.39 v -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 1800.39 v -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 1800.39 v -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 1800.39 v -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 1800.39 v -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 1800.39 v -x2648 -x2649 -x2650 -x2652 -x2653 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 1800.39 v -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2684 1800.39 v -x2685 -x2686 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 1800.39 v -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2719 -x2720 -x2721 1800.39 v -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 1800.39 v -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 1800.39 v -x2756 -x2757 -x2758 -x2760 -x2761 -x2762 -x2763 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 1800.39 v -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2790 -x2791 -x2792 1800.39 v -x2793 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 1800.39 v -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 1800.39 v -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 1800.39 v -x2847 -x2848 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 1800.39 v -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 1800.39 v -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 1800.39 v -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 1800.39 v -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 1800.39 v -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2947 -x2948 -x2949 -x2950 -x2951 1800.39 v -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 1800.39 v -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 1800.39 v -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 1800.39 v -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 1800.39 v -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 1800.39 v -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3052 -x3053 -x3054 -x3055 1800.39 v -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3069 -x3070 -x3071 -x3072 -x3073 1800.39 v -x3074 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 1800.39 v -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 1800.39 v -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 1800.39 v -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 1800.39 v -x3143 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 1800.39 v -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 1800.39 v -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 1800.39 v -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 1800.39 v -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 1800.39 v -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 1800.39 v -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 1800.39 v -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 1800.39 v -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 1800.39 v -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3317 -x3319 -x3320 -x3321 1800.39 v -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 1800.39 v -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 1800.39 v -x3356 -x3357 -x3358 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 1800.39 v -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 1800.39 v -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 1800.39 v -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 1800.39 v -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 1800.39 v -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 1800.39 v -x3459 -x3460 -x3461 -x3462 -x3463 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 1800.39 v -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 1800.39 v -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 1800.39 v -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 1800.39 v -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 1800.39 v -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3558 -x3559 -x3561 -x3562 -x3563 -x3564 1800.39 v -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 1800.39 v -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 1800.39 v -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 1800.39 v -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 1800.39 v -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 1800.39 v -x3650 -x3651 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 1800.39 v -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 1800.39 v -x3685 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 1800.39 v -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 1800.39 v -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 1800.39 v -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 1800.39 v -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 1800.39 v -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 1800.39 v -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 1800.39 v -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 1800.39 v -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 1800.39 v -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3856 -x3857 -x3858 -x3859 1800.39 v -x3860 -x3861 -x3862 -x3863 -x3864 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 1800.39 v -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 1800.39 v -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 1800.39 v -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3928 -x3929 1800.39 v -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 1800.39 v -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 1800.39 v -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 1800.39 v -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3994 -x3995 -x3996 -x3997 -x3998 1800.39 v -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 1800.39 v -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 1800.39 v -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4047 -x4048 -x4049 -x4050 1800.39 v -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 1800.39 v -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 1800.39 v -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 1800.39 v -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 1800.39 v -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 1800.39 v -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 1800.39 v -x4155 -x4156 -x4157 -x4158 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4169 -x4170 -x4171 -x4172 -x4173 1800.39 v -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 1800.39 v -x4192 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 1800.39 v -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 1800.39 v -x4228 -x4229 -x4230 -x4231 -x4232 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 1800.39 v -x4246 -x4247 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 1800.39 v -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 1800.39 v -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 1800.39 v -x4298 -x4299 -x4300 -x4301 -x4302 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 1800.39 v -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 1800.39 v -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4348 -x4350 -x4351 1800.39 v -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 1800.39 v -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4386 1800.39 v -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 1800.39 v -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4421 1800.39 v -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 1800.39 v -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4453 -x4454 -x4455 -x4456 1800.39 v -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 1800.39 v -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 1800.39 v -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 1800.39 v -x4508 -x4509 -x4510 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 1800.39 v -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 1800.39 v -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 1800.39 v -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 1800.39 v -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4595 1800.39 v -x4596 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 1800.39 v -x4614 -x4615 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 1800.39 v -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4648 -x4649 1800.39 v -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 1800.39 v -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 1800.39 v -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 1800.39 v -x4701 -x4702 -x4703 -x4705 -x4706 -x4707 -x4708 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 1800.39 v -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 1800.39 v -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 1800.39 v -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4769 -x4770 -x4771 -x4772 1800.39 v -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 1800.39 v -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 1800.39 v -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4823 -x4824 -x4825 1800.39 v -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 1800.39 v -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 1800.39 v -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 1800.39 v -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 1800.39 v -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 1800.39 v -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4927 -x4928 1800.39 v -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 1800.39 v -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 1800.39 v -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 1800.39 v -x4981 -x4982 -x4983 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 1800.39 v -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 1800.39 v -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 1800.39 v -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 1800.39 v -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 1800.39 v -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 1800.39 v -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5102 -x5103 -x5104 1800.39 v -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5113 -x5114 -x5115 -x5116 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 1800.39 v -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 1800.39 v -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 1800.39 v -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 1800.39 v -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 1800.39 v -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 1800.39 v -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 1800.39 v -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 1800.39 v -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 1800.39 v -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5278 1800.39 v -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 1800.39 v -x5296 -x5297 -x5298 -x5299 -x5301 -x5302 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 1800.39 v -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 1800.39 v -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 1800.39 v -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 1800.39 v -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 1800.39 v -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5400 1800.39 v -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 1800.39 v -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 1800.39 v -x5435 -x5436 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 1800.39 v -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 1800.39 v -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5486 -x5487 1800.39 v -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 1800.39 v -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 1800.39 v -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 1800.39 v -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 1800.39 v -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 1800.39 v -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5590 -x5591 -x5592 -x5593 1800.39 v -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 1800.39 v -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 1800.39 v -x5628 -x5629 -x5630 -x5631 -x5633 -x5634 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 1800.39 v -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 1800.39 v -x5665 -x5666 -x5667 -x5668 -x5669 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 1800.39 v -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 1800.39 v -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 1800.39 v -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 1800.39 v -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 1800.39 v -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 1800.39 v -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 1800.39 v -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 1800.39 v -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 1800.39 v -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 1800.39 v -x5838 -x5839 -x5840 -x5841 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 1800.39 v -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 1800.39 v -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 1800.39 v -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5907 -x5908 -x5909 1800.39 v -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 1800.39 v -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 1800.39 v -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 1800.39 v -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5974 -x5975 -x5976 -x5978 -x5979 -x5980 1800.39 v -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 1800.39 v -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 1800.39 v -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6032 -x6034 1800.39 v -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 1800.39 v -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 1800.39 v -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 1800.39 v -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 1800.39 v -x6104 -x6105 -x6106 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 1800.39 v -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 1800.39 v -x6139 1800.39 c Somebody sent me a SIGTERM 1800.40 smodels-2.31: no process killed 1800.40 pb2smodels: no process killed
OK 176
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/node13/watcher-45695-1154043656 -o ROOT/results/node13/solver-45695-1154043656 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node13/45695-1154043656/instance-45695-1154043656.opb 389647430 ROOT/tmp/node13/45695-1154043656 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 3/64 1401 /proc/meminfo: memFree=1586040/2055920 swapFree=4175260/4192956 [pid=1401] ppid=1399 vsize=5256 CPUtime=0 /proc/1401/stat : 1401 (runpbsmodels) R 1399 1401 1352 0 -1 4194304 58 0 0 0 0 0 0 0 19 0 1 0 151226500 5382144 41 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 269754628233 0 0 4096 0 0 0 0 17 1 0 0 /proc/1401/statm: 1314 48 37 169 0 13 0 [startup+10.0031 s] /proc/loadavg: 1.01 1.00 1.00 2/68 1406 /proc/meminfo: memFree=1581408/2055920 swapFree=4175260/4192956 [pid=1401] ppid=1399 vsize=5360 CPUtime=0 /proc/1401/stat : 1401 (runpbsmodels) S 1399 1401 1352 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151226500 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/1401/statm: 1340 234 195 169 0 51 0 [pid=1402] ppid=1401 vsize=12268 CPUtime=0 /proc/1402/stat : 1402 (pbsmodels-v1.31) S 1401 1401 1352 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151226500 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 269766147988 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/1402/statm: 3067 383 293 3 0 167 0 [pid=1403] ppid=1402 vsize=5356 CPUtime=1.62 /proc/1403/stat : 1403 (sh) S 1402 1401 1352 0 -1 4194304 309 950 0 0 0 0 162 0 16 0 1 0 151226501 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/1403/statm: 1339 227 188 169 0 50 0 [pid=1405] ppid=1403 vsize=5424 CPUtime=8.92 /proc/1405/stat : 1405 (smodels-2.31) R 1403 1401 1352 0 -1 4194304 1018 0 0 0 892 0 0 0 25 0 1 0 151226501 5554176 982 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532882 0 0 4096 0 0 0 0 17 1 0 0 /proc/1405/statm: 1356 982 210 21 0 792 0 [pid=1406] ppid=1403 vsize=12268 CPUtime=0 /proc/1406/stat : 1406 (pbout.new.pl) S 1403 1401 1352 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 151226501 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 269766144098 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/1406/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 10.54 Current children cumulated vsize (Kb) 40676 [startup+20.0104 s] /proc/loadavg: 1.00 1.00 1.00 2/68 1406 /proc/meminfo: memFree=1581536/2055920 swapFree=4175260/4192956 [pid=1401] ppid=1399 vsize=5360 CPUtime=0 /proc/1401/stat : 1401 (runpbsmodels) S 1399 1401 1352 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151226500 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/1401/statm: 1340 234 195 169 0 51 0 [pid=1402] ppid=1401 vsize=12268 CPUtime=0 /proc/1402/stat : 1402 (pbsmodels-v1.31) S 1401 1401 1352 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151226500 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 269766147988 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/1402/statm: 3067 383 293 3 0 167 0 [pid=1403] ppid=1402 vsize=5356 CPUtime=1.62 /proc/1403/stat : 1403 (sh) S 1402 1401 1352 0 -1 4194304 309 950 0 0 0 0 162 0 16 0 1 0 151226501 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/1403/statm: 1339 227 188 169 0 50 0 [pid=1405] ppid=1403 vsize=5424 CPUtime=18.92 /proc/1405/stat : 1405 (smodels-2.31) R 1403 1401 1352 0 -1 4194304 1019 0 0 0 1892 0 0 0 25 0 1 0 151226501 5554176 983 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532718 0 0 4096 0 0 0 0 17 1 0 0 /proc/1405/statm: 1356 983 210 21 0 792 0 [pid=1406] ppid=1403 vsize=12268 CPUtime=0 /proc/1406/stat : 1406 (pbout.new.pl) S 1403 1401 1352 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 151226501 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 269766144098 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/1406/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 20.54 Current children cumulated vsize (Kb) 40676 [startup+30.0168 s] /proc/loadavg: 1.00 1.00 1.00 2/68 1406 /proc/meminfo: memFree=1581216/2055920 swapFree=4175260/4192956 [pid=1401] ppid=1399 vsize=5360 CPUtime=0 /proc/1401/stat : 1401 (runpbsmodels) S 1399 1401 1352 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151226500 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/1401/statm: 1340 234 195 169 0 51 0 [pid=1402] ppid=1401 vsize=12268 CPUtime=0 /proc/1402/stat : 1402 (pbsmodels-v1.31) S 1401 1401 1352 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151226500 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 269766147988 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/1402/statm: 3067 383 293 3 0 167 0 [pid=1403] ppid=1402 vsize=5356 CPUtime=1.62 /proc/1403/stat : 1403 (sh) S 1402 1401 1352 0 -1 4194304 309 950 0 0 0 0 162 0 16 0 1 0 151226501 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/1403/statm: 1339 227 188 169 0 50 0 [pid=1405] ppid=1403 vsize=5820 CPUtime=28.93 /proc/1405/stat : 1405 (smodels-2.31) R 1403 1401 1352 0 -1 4194304 1127 0 0 0 2893 0 0 0 25 0 1 0 151226501 5959680 1091 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134522348 0 0 4096 0 0 0 0 17 1 0 0 /proc/1405/statm: 1455 1091 213 21 0 891 0 [pid=1406] ppid=1403 vsize=12420 CPUtime=0 /proc/1406/stat : 1406 (pbout.new.pl) S 1403 1401 1352 0 -1 4194304 512 0 0 0 0 0 0 0 16 0 1 0 151226501 12718080 472 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 269766144098 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/1406/statm: 3105 472 333 3 0 205 0 Current children cumulated CPU time (s) 30.55 Current children cumulated vsize (Kb) 41224 [startup+40.0231 s] /proc/loadavg: 1.00 1.00 1.00 2/68 1406 /proc/meminfo: memFree=1581216/2055920 swapFree=4175260/4192956 [pid=1401] ppid=1399 vsize=5360 CPUtime=0 /proc/1401/stat : 1401 (runpbsmodels) S 1399 1401 1352 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151226500 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/1401/statm: 1340 234 195 169 0 51 0 [pid=1402] ppid=1401 vsize=12268 CPUtime=0 /proc/1402/stat : 1402 (pbsmodels-v1.31) S 1401 1401 1352 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151226500 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 269766147988 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/1402/statm: 3067 383 293 3 0 167 0 [pid=1403] ppid=1402 vsize=5356 CPUtime=1.62 /proc/1403/stat : 1403 (sh) S 1402 1401 1352 0 -1 4194304 309 950 0 0 0 0 162 0 16 0 1 0 151226501 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/1403/statm: 1339 227 188 169 0 50 0 [pid=1405] ppid=1403 vsize=5820 CPUtime=38.93 /proc/1405/stat : 1405 (smodels-2.31) R 1403 1401 1352 0 -1 4194304 1127 0 0 0 3893 0 0 0 25 0 1 0 151226501 5959680 1091 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134520948 0 0 4096 0 0 0 0 17 1 0 0 /proc/1405/statm: 1455 1091 213 21 0 891 0 [pid=1406] ppid=1403 vsize=12420 CPUtime=0 /proc/1406/stat : 1406 (pbout.new.pl) S 1403 1401 1352 0 -1 4194304 512 0 0 0 0 0 0 0 16 0 1 0 151226501 12718080 472 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 269766144098 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/1406/statm: 3105 472 333 3 0 205 0 Current children cumulated CPU time (s) 40.55 Current children cumulated vsize (Kb) 41224 [startup+50.0294 s] /proc/loadavg: 1.00 1.00 1.00 2/68 1406 /proc/meminfo: memFree=1581216/2055920 swapFree=4175260/4192956 [pid=1401] ppid=1399 vsize=5360 CPUtime=0 /proc/1401/stat : 1401 (runpbsmodels) S 1399 1401 1352 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151226500 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/1401/statm: 1340 234 195 169 0 51 0 [pid=1402] ppid=1401 vsize=12268 CPUtime=0 /proc/1402/stat : 1402 (pbsmodels-v1.31) S 1401 1401 1352 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151226500 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 269766147988 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/1402/statm: 3067 383 293 3 0 167 0 [pid=1403] ppid=1402 vsize=5356 CPUtime=1.62 /proc/1403/stat : 1403 (sh) S 1402 1401 1352 0 -1 4194304 309 950 0 0 0 0 162 0 16 0 1 0 151226501 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/1403/statm: 1339 227 188 169 0 50 0 [pid=1405] ppid=1403 vsize=5820 CPUtime=48.93 /proc/1405/stat : 1405 (smodels-2.31) R 1403 1401 1352 0 -1 4194304 1127 0 0 0 4893 0 0 0 25 0 1 0 151226501 5959680 1091 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532999 0 0 4096 0 0 0 0 17 1 0 0 /proc/1405/statm: 1455 1091 213 21 0 891 0 [pid=1406] ppid=1403 vsize=12420 CPUtime=0 /proc/1406/stat : 1406 (pbout.new.pl) S 1403 1401 1352 0 -1 4194304 512 0 0 0 0 0 0 0 16 0 1 0 151226501 12718080 472 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 269766144098 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/1406/statm: 3105 472 333 3 0 205 0 Current children cumulated CPU time (s) 50.55 Current children cumulated vsize (Kb) 41224 [startup+60.0358 s] /proc/loadavg: 1.00 1.00 1.00 2/68 1408 /proc/meminfo: memFree=1580632/2055920 swapFree=4175260/4192956 [pid=1401] ppid=1399 vsize=5360 CPUtime=0 /proc/1401/stat : 1401 (runpbsmodels) S 1399 1401 1352 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151226500 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/1401/statm: 1340 234 195 169 0 51 0 [pid=1402] ppid=1401 vsize=12268 CPUtime=0 /proc/1402/stat : 1402 (pbsmodels-v1.31) S 1401 1401 1352 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151226500 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 269766147988 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/1402/statm: 3067 383 293 3 0 167 0 [pid=1403] ppid=1402 vsize=5356 CPUtime=1.62 /proc/1403/stat : 1403 (sh) S 1402 1401 1352 0 -1 4194304 309 950 0 0 0 0 162 0 16 0 1 0 151226501 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/1403/statm: 1339 227 188 169 0 50 0 [pid=1405] ppid=1403 vsize=6216 CPUtime=58.94 /proc/1405/stat : 1405 (smodels-2.31) R 1403 1401 1352 0 -1 4194304 1232 0 0 0 5894 0 0 0 25 0 1 0 151226501 6365184 1196 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539712 0 0 4096 0 0 0 0 17 1 0 0 /proc/1405/statm: 1554 1196 213 21 0 990 0 [pid=1406] ppid=1403 vsize=12420 CPUtime=0 /proc/1406/stat : 1406 (pbout.new.pl) S 1403 1401 1352 0 -1 4194304 512 0 0 0 0 0 0 0 16 0 1 0 151226501 12718080 472 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 269766144098 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/1406/statm: 3105 472 333 3 0 205 0 Current children cumulated CPU time (s) 60.56 Current children cumulated vsize (Kb) 41620 [startup+70.0431 s] /proc/loadavg: 1.00 1.00 1.00 2/68 1408 /proc/meminfo: memFree=1580640/2055920 swapFree=4175260/4192956 [pid=1401] ppid=1399 vsize=5360 CPUtime=0 /proc/1401/stat : 1401 (runpbsmodels) S 1399 1401 1352 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151226500 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/1401/statm: 1340 234 195 169 0 51 0 [pid=1402] ppid=1401 vsize=12268 CPUtime=0 /proc/1402/stat : 1402 (pbsmodels-v1.31) S 1401 1401 1352 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151226500 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 269766147988 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/1402/statm: 3067 383 293 3 0 167 0 [pid=1403] ppid=1402 vsize=5356 CPUtime=1.62 /proc/1403/stat : 1403 (sh) S 1402 1401 1352 0 -1 4194304 309 950 0 0 0 0 162 0 16 0 1 0 151226501 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/1403/statm: 1339 227 188 169 0 50 0 [pid=1405] ppid=1403 vsize=6216 CPUtime=68.94 /proc/1405/stat : 1405 (smodels-2.31) R 1403 1401 1352 0 -1 4194304 1232 0 0 0 6894 0 0 0 25 0 1 0 151226501 6365184 1196 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532928 0 0 4096 0 0 0 0 17 1 0 0 /proc/1405/statm: 1554 1196 213 21 0 990 0 [pid=1406] ppid=1403 vsize=12420 CPUtime=0 /proc/1406/stat : 1406 (pbout.new.pl) S 1403 1401 1352 0 -1 4194304 512 0 0 0 0 0 0 0 16 0 1 0 151226501 12718080 472 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 269766144098 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/1406/statm: 3105 472 333 3 0 205 0 Current children cumulated CPU time (s) 70.56 Current children cumulated vsize (Kb) 41620 [startup+80.0505 s] /proc/loadavg: 1.00 1.00 1.00 2/68 1408 /proc/meminfo: memFree=1580640/2055920 swapFree=4175260/4192956 [pid=1401] ppid=1399 vsize=5360 CPUtime=0 /proc/1401/stat : 1401 (runpbsmodels) S 1399 1401 1352 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151226500 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/1401/statm: 1340 234 195 169 0 51 0 [pid=1402] ppid=1401 vsize=12268 CPUtime=0 /proc/1402/stat : 1402 (pbsmodels-v1.31) S 1401 1401 1352 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151226500 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 269766147988 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/1402/statm: 3067 383 293 3 0 167 0 [pid=1403] ppid=1402 vsize=5356 CPUtime=1.62 /proc/1403/stat : 1403 (sh) S 1402 1401 1352 0 -1 4194304 309 950 0 0 0 0 162 0 16 0 1 0 151226501 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/1403/statm: 1339 227 188 169 0 50 0 [pid=1405] ppid=1403 vsize=6216 CPUtime=78.94 /proc/1405/stat : 1405 (smodels-2.31) R 1403 1401 1352 0 -1 4194304 1232 0 0 0 7894 0 0 0 25 0 1 0 151226501 6365184 1196 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532999 0 0 4096 0 0 0 0 17 1 0 0 /proc/1405/statm: 1554 1196 213 21 0 990 0 [pid=1406] ppid=1403 vsize=12420 CPUtime=0 /proc/1406/stat : 1406 (pbout.new.pl) S 1403 1401 1352 0 -1 4194304 512 0 0 0 0 0 0 0 16 0 1 0 151226501 12718080 472 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 269766144098 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/1406/statm: 3105 472 333 3 0 205 0 Current children cumulated CPU time (s) 80.56 Current children cumulated vsize (Kb) 41620 [startup+90.0568 s] /proc/loadavg: 1.00 1.00 1.00 2/68 1408 /proc/meminfo: memFree=1580320/2055920 swapFree=4175260/4192956 [pid=1401] ppid=1399 vsize=5360 CPUtime=0 /proc/1401/stat : 1401 (runpbsmodels) S 1399 1401 1352 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151226500 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/1401/statm: 1340 234 195 169 0 51 0 [pid=1402] ppid=1401 vsize=12268 CPUtime=0 /proc/1402/stat : 1402 (pbsmodels-v1.31) S 1401 1401 1352 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151226500 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 269766147988 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/1402/statm: 3067 383 293 3 0 167 0 [pid=1403] ppid=1402 vsize=5356 CPUtime=1.62 /proc/1403/stat : 1403 (sh) S 1402 1401 1352 0 -1 4194304 309 950 0 0 0 0 162 0 16 0 1 0 151226501 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/1403/statm: 1339 227 188 169 0 50 0 [pid=1405] ppid=1403 vsize=6612 CPUtime=88.95 /proc/1405/stat : 1405 (smodels-2.31) R 1403 1401 1352 0 -1 4194304 1335 0 0 0 8895 0 0 0 25 0 1 0 151226501 6770688 1299 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532732 0 0 4096 0 0 0 0 17 1 0 0 ################ # More data... # ################ /proc/1405/stat : 1405 (smodels-2.31) R 1403 1401 1352 0 -1 4194304 7262 0 0 0 179157 10 0 0 25 0 1 0 151226501 31100928 7226 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134558143 0 0 4096 0 0 0 0 17 1 0 0 /proc/1405/statm: 7593 7226 213 21 0 7029 0 [pid=1406] ppid=1403 vsize=12420 CPUtime=0 /proc/1406/stat : 1406 (pbout.new.pl) S 1403 1401 1352 0 -1 4194304 512 0 0 0 0 0 0 0 16 0 1 0 151226501 12718080 472 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 269766144098 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/1406/statm: 3105 472 333 3 0 205 0 Current children cumulated CPU time (s) 1793.29 Current children cumulated vsize (Kb) 65776 [startup+1794.34 s] /proc/loadavg: 1.00 1.00 1.00 2/68 1606 /proc/meminfo: memFree=1555680/2055920 swapFree=4175260/4192956 [pid=1401] ppid=1399 vsize=5360 CPUtime=0 /proc/1401/stat : 1401 (runpbsmodels) S 1399 1401 1352 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151226500 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/1401/statm: 1340 234 195 169 0 51 0 [pid=1402] ppid=1401 vsize=12268 CPUtime=0 /proc/1402/stat : 1402 (pbsmodels-v1.31) S 1401 1401 1352 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151226500 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 269766147988 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/1402/statm: 3067 383 293 3 0 167 0 [pid=1403] ppid=1402 vsize=5356 CPUtime=1.62 /proc/1403/stat : 1403 (sh) S 1402 1401 1352 0 -1 4194304 309 950 0 0 0 0 162 0 16 0 1 0 151226501 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/1403/statm: 1339 227 188 169 0 50 0 [pid=1405] ppid=1403 vsize=30768 CPUtime=1792.67 /proc/1405/stat : 1405 (smodels-2.31) R 1403 1401 1352 0 -1 4194304 7364 0 0 0 179257 10 0 0 25 0 1 0 151226501 31506432 7328 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532942 0 0 4096 0 0 0 0 17 1 0 0 /proc/1405/statm: 7692 7328 213 21 0 7128 0 [pid=1406] ppid=1403 vsize=12420 CPUtime=0 /proc/1406/stat : 1406 (pbout.new.pl) S 1403 1401 1352 0 -1 4194304 512 0 0 0 0 0 0 0 16 0 1 0 151226501 12718080 472 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 269766144098 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/1406/statm: 3105 472 333 3 0 205 0 Current children cumulated CPU time (s) 1794.29 Current children cumulated vsize (Kb) 66172 [startup+1795.35 s] /proc/loadavg: 1.00 1.00 1.00 2/68 1606 /proc/meminfo: memFree=1555680/2055920 swapFree=4175260/4192956 [pid=1401] ppid=1399 vsize=5360 CPUtime=0 /proc/1401/stat : 1401 (runpbsmodels) S 1399 1401 1352 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151226500 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/1401/statm: 1340 234 195 169 0 51 0 [pid=1402] ppid=1401 vsize=12268 CPUtime=0 /proc/1402/stat : 1402 (pbsmodels-v1.31) S 1401 1401 1352 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151226500 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 269766147988 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/1402/statm: 3067 383 293 3 0 167 0 [pid=1403] ppid=1402 vsize=5356 CPUtime=1.62 /proc/1403/stat : 1403 (sh) S 1402 1401 1352 0 -1 4194304 309 950 0 0 0 0 162 0 16 0 1 0 151226501 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/1403/statm: 1339 227 188 169 0 50 0 [pid=1405] ppid=1403 vsize=30768 CPUtime=1793.68 /proc/1405/stat : 1405 (smodels-2.31) R 1403 1401 1352 0 -1 4194304 7364 0 0 0 179358 10 0 0 25 0 1 0 151226501 31506432 7328 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532882 0 0 4096 0 0 0 0 17 1 0 0 /proc/1405/statm: 7692 7328 213 21 0 7128 0 [pid=1406] ppid=1403 vsize=12420 CPUtime=0 /proc/1406/stat : 1406 (pbout.new.pl) S 1403 1401 1352 0 -1 4194304 512 0 0 0 0 0 0 0 16 0 1 0 151226501 12718080 472 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 269766144098 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/1406/statm: 3105 472 333 3 0 205 0 Current children cumulated CPU time (s) 1795.3 Current children cumulated vsize (Kb) 66172 [startup+1796.35 s] /proc/loadavg: 1.00 1.00 1.00 2/68 1606 /proc/meminfo: memFree=1555680/2055920 swapFree=4175260/4192956 [pid=1401] ppid=1399 vsize=5360 CPUtime=0 /proc/1401/stat : 1401 (runpbsmodels) S 1399 1401 1352 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151226500 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/1401/statm: 1340 234 195 169 0 51 0 [pid=1402] ppid=1401 vsize=12268 CPUtime=0 /proc/1402/stat : 1402 (pbsmodels-v1.31) S 1401 1401 1352 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151226500 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 269766147988 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/1402/statm: 3067 383 293 3 0 167 0 [pid=1403] ppid=1402 vsize=5356 CPUtime=1.62 /proc/1403/stat : 1403 (sh) S 1402 1401 1352 0 -1 4194304 309 950 0 0 0 0 162 0 16 0 1 0 151226501 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/1403/statm: 1339 227 188 169 0 50 0 [pid=1405] ppid=1403 vsize=30768 CPUtime=1794.68 /proc/1405/stat : 1405 (smodels-2.31) R 1403 1401 1352 0 -1 4194304 7364 0 0 0 179458 10 0 0 25 0 1 0 151226501 31506432 7328 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134521401 0 0 4096 0 0 0 0 17 1 0 0 /proc/1405/statm: 7692 7328 213 21 0 7128 0 [pid=1406] ppid=1403 vsize=12420 CPUtime=0 /proc/1406/stat : 1406 (pbout.new.pl) S 1403 1401 1352 0 -1 4194304 512 0 0 0 0 0 0 0 16 0 1 0 151226501 12718080 472 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 269766144098 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/1406/statm: 3105 472 333 3 0 205 0 Current children cumulated CPU time (s) 1796.3 Current children cumulated vsize (Kb) 66172 [startup+1797.36 s] /proc/loadavg: 1.00 1.00 1.00 2/68 1606 /proc/meminfo: memFree=1555616/2055920 swapFree=4175260/4192956 [pid=1401] ppid=1399 vsize=5360 CPUtime=0 /proc/1401/stat : 1401 (runpbsmodels) S 1399 1401 1352 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151226500 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/1401/statm: 1340 234 195 169 0 51 0 [pid=1402] ppid=1401 vsize=12268 CPUtime=0 /proc/1402/stat : 1402 (pbsmodels-v1.31) S 1401 1401 1352 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151226500 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 269766147988 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/1402/statm: 3067 383 293 3 0 167 0 [pid=1403] ppid=1402 vsize=5356 CPUtime=1.62 /proc/1403/stat : 1403 (sh) S 1402 1401 1352 0 -1 4194304 309 950 0 0 0 0 162 0 16 0 1 0 151226501 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/1403/statm: 1339 227 188 169 0 50 0 [pid=1405] ppid=1403 vsize=30768 CPUtime=1795.69 /proc/1405/stat : 1405 (smodels-2.31) R 1403 1401 1352 0 -1 4194304 7364 0 0 0 179559 10 0 0 25 0 1 0 151226501 31506432 7328 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 1 0 0 /proc/1405/statm: 7692 7328 213 21 0 7128 0 [pid=1406] ppid=1403 vsize=12420 CPUtime=0 /proc/1406/stat : 1406 (pbout.new.pl) S 1403 1401 1352 0 -1 4194304 512 0 0 0 0 0 0 0 16 0 1 0 151226501 12718080 472 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 269766144098 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/1406/statm: 3105 472 333 3 0 205 0 Current children cumulated CPU time (s) 1797.31 Current children cumulated vsize (Kb) 66172 [startup+1798.36 s] /proc/loadavg: 1.00 1.00 1.00 2/68 1606 /proc/meminfo: memFree=1555616/2055920 swapFree=4175260/4192956 [pid=1401] ppid=1399 vsize=5360 CPUtime=0 /proc/1401/stat : 1401 (runpbsmodels) S 1399 1401 1352 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151226500 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/1401/statm: 1340 234 195 169 0 51 0 [pid=1402] ppid=1401 vsize=12268 CPUtime=0 /proc/1402/stat : 1402 (pbsmodels-v1.31) S 1401 1401 1352 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151226500 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 269766147988 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/1402/statm: 3067 383 293 3 0 167 0 [pid=1403] ppid=1402 vsize=5356 CPUtime=1.62 /proc/1403/stat : 1403 (sh) S 1402 1401 1352 0 -1 4194304 309 950 0 0 0 0 162 0 16 0 1 0 151226501 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/1403/statm: 1339 227 188 169 0 50 0 [pid=1405] ppid=1403 vsize=30768 CPUtime=1796.69 /proc/1405/stat : 1405 (smodels-2.31) R 1403 1401 1352 0 -1 4194304 7364 0 0 0 179659 10 0 0 25 0 1 0 151226501 31506432 7328 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532683 0 0 4096 0 0 0 0 17 1 0 0 /proc/1405/statm: 7692 7328 213 21 0 7128 0 [pid=1406] ppid=1403 vsize=12420 CPUtime=0 /proc/1406/stat : 1406 (pbout.new.pl) S 1403 1401 1352 0 -1 4194304 512 0 0 0 0 0 0 0 16 0 1 0 151226501 12718080 472 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 269766144098 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/1406/statm: 3105 472 333 3 0 205 0 Current children cumulated CPU time (s) 1798.31 Current children cumulated vsize (Kb) 66172 [startup+1799.37 s] /proc/loadavg: 1.00 1.00 1.00 2/68 1606 /proc/meminfo: memFree=1555616/2055920 swapFree=4175260/4192956 [pid=1401] ppid=1399 vsize=5360 CPUtime=0 /proc/1401/stat : 1401 (runpbsmodels) S 1399 1401 1352 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151226500 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/1401/statm: 1340 234 195 169 0 51 0 [pid=1402] ppid=1401 vsize=12268 CPUtime=0 /proc/1402/stat : 1402 (pbsmodels-v1.31) S 1401 1401 1352 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151226500 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 269766147988 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/1402/statm: 3067 383 293 3 0 167 0 [pid=1403] ppid=1402 vsize=5356 CPUtime=1.62 /proc/1403/stat : 1403 (sh) S 1402 1401 1352 0 -1 4194304 309 950 0 0 0 0 162 0 16 0 1 0 151226501 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/1403/statm: 1339 227 188 169 0 50 0 [pid=1405] ppid=1403 vsize=30768 CPUtime=1797.7 /proc/1405/stat : 1405 (smodels-2.31) R 1403 1401 1352 0 -1 4194304 7364 0 0 0 179760 10 0 0 25 0 1 0 151226501 31506432 7328 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533216 0 0 4096 0 0 0 0 17 1 0 0 /proc/1405/statm: 7692 7328 213 21 0 7128 0 [pid=1406] ppid=1403 vsize=12420 CPUtime=0 /proc/1406/stat : 1406 (pbout.new.pl) S 1403 1401 1352 0 -1 4194304 512 0 0 0 0 0 0 0 16 0 1 0 151226501 12718080 472 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 269766144098 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/1406/statm: 3105 472 333 3 0 205 0 Current children cumulated CPU time (s) 1799.32 Current children cumulated vsize (Kb) 66172 [startup+1800.37 s] /proc/loadavg: 1.00 1.00 1.00 2/68 1606 /proc/meminfo: memFree=1555616/2055920 swapFree=4175260/4192956 [pid=1401] ppid=1399 vsize=5360 CPUtime=0 /proc/1401/stat : 1401 (runpbsmodels) S 1399 1401 1352 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151226500 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/1401/statm: 1340 234 195 169 0 51 0 [pid=1402] ppid=1401 vsize=12268 CPUtime=0 /proc/1402/stat : 1402 (pbsmodels-v1.31) S 1401 1401 1352 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151226500 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 269766147988 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/1402/statm: 3067 383 293 3 0 167 0 [pid=1403] ppid=1402 vsize=5356 CPUtime=1.62 /proc/1403/stat : 1403 (sh) S 1402 1401 1352 0 -1 4194304 309 950 0 0 0 0 162 0 16 0 1 0 151226501 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/1403/statm: 1339 227 188 169 0 50 0 [pid=1405] ppid=1403 vsize=30768 CPUtime=1798.7 /proc/1405/stat : 1405 (smodels-2.31) R 1403 1401 1352 0 -1 4194304 7364 0 0 0 179860 10 0 0 25 0 1 0 151226501 31506432 7328 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532882 0 0 4096 0 0 0 0 17 1 0 0 /proc/1405/statm: 7692 7328 213 21 0 7128 0 [pid=1406] ppid=1403 vsize=12420 CPUtime=0 /proc/1406/stat : 1406 (pbout.new.pl) S 1403 1401 1352 0 -1 4194304 512 0 0 0 0 0 0 0 16 0 1 0 151226501 12718080 472 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 269766144098 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/1406/statm: 3105 472 333 3 0 205 0 Current children cumulated CPU time (s) 1800.32 Current children cumulated vsize (Kb) 66172 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.38 s] /proc/loadavg: 1.00 1.00 1.00 2/68 1606 /proc/meminfo: memFree=1555616/2055920 swapFree=4175260/4192956 [pid=1401] ppid=1399 vsize=5360 CPUtime=0 /proc/1401/stat : 1401 (runpbsmodels) S 1399 1401 1352 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151226500 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/1401/statm: 1340 234 195 169 0 51 0 [pid=1402] ppid=1401 vsize=12268 CPUtime=0 /proc/1402/stat : 1402 (pbsmodels-v1.31) S 1401 1401 1352 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151226500 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 269766147988 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/1402/statm: 3067 383 293 3 0 167 0 [pid=1403] ppid=1402 vsize=5356 CPUtime=1.62 /proc/1403/stat : 1403 (sh) S 1402 1401 1352 0 -1 4194304 309 950 0 0 0 0 162 0 16 0 1 0 151226501 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/1403/statm: 1339 227 188 169 0 50 0 [pid=1405] ppid=1403 vsize=30768 CPUtime=1798.71 /proc/1405/stat : 1405 (smodels-2.31) R 1403 1401 1352 0 -1 4194304 7364 0 0 0 179861 10 0 0 25 0 1 0 151226501 31506432 7328 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533236 0 0 4096 0 0 0 0 17 1 0 0 /proc/1405/statm: 7692 7328 213 21 0 7128 0 [pid=1406] ppid=1403 vsize=12420 CPUtime=0 /proc/1406/stat : 1406 (pbout.new.pl) S 1403 1401 1352 0 -1 4194304 512 0 0 0 0 0 0 0 16 0 1 0 151226501 12718080 472 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 269766144098 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/1406/statm: 3105 472 333 3 0 205 0 Current children cumulated CPU time (s) 1800.33 Current children cumulated vsize (Kb) 66172 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 1401 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.33 Solver probably didn't/couldn't wait for its children Using last known CPU time as value... Real time (s): 1800.4 CPU time (s): 1800.33 CPU user time (s): 1800.23 CPU system time (s): 0.1 CPU usage (%): 99.996 Max. virtual memory (cumulated for all children) (Kb): 66172 The end
Begin job on node13 on Thu Jul 27 23:40:56 UTC 2006 FILE ID= 45695-1154043656 PBS_JOBID= 881429 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-test4.pi.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node13/45695-1154043656/instance-45695-1154043656.opb 389647430 ROOT/tmp/node13/45695-1154043656 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-45695-1154043656 -o ROOT/results/node13/solver-45695-1154043656 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node13/45695-1154043656/instance-45695-1154043656.opb 389647430 ROOT/tmp/node13/45695-1154043656 MD5SUM SOLVER= 95562bc622ddb1f976359072aec5ad24 7fcd858753252b26b88f3383e979819a c732bc4c3aeda9195daa74a308a1f78e b7e54d975d35ab28450b6de5c14d303e f7da3270b2cd5190fa0cd9af9b854ca4 MD5SUM BENCH= cca57c347e264f92fb70010109aa24c5 RANDOM SEED= 389647430 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.240 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.240 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: 1586248 kB Buffers: 33284 kB Cached: 372064 kB SwapCached: 11356 kB Active: 117828 kB Inactive: 304016 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1586248 kB SwapTotal: 4192956 kB SwapFree: 4175260 kB Dirty: 192 kB Writeback: 0 kB Mapped: 14480 kB Slab: 33824 kB Committed_AS: 551944 kB PageTables: 1488 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node13 on Fri Jul 28 00:10:56 UTC 2006