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