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