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