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