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