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