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