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