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