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