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