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