Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
sat4jPseudoCP 2007-03-23 | SAT (TO) | -38 | 1800.32 | 1780.2 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-reduced-mps-v2-20-10-neos20.opb |
MD5SUM | 548627fc5af0dd4663b3515778a6a609 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -55 |
Best CPU time to get the best result obtained on this benchmark | 1800.07 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -56 |
Optimality of the best value was proved | NO |
Number of variables | 8411 |
Total number of constraints | 2456 |
Number of constraints which are clauses | 412 |
Number of constraints which are cardinality constraints (but not clauses) | 426 |
Number of constraints which are nor clauses,nor cardinality constraints | 1618 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 270 |
Number of terms in the objective function | 150 |
Biggest coefficient in the objective function | 52429 |
Number of bits for the biggest coefficient in the objective function | 16 |
Sum of the numbers in the objective function | 524390 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 523753 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 524475 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.08/0.13 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.08/0.13 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.08/0.13 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.08/0.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 c Cutting planes based inference (org.sat4j.minisat.constraints.pb.PBSolver) 0.20/0.20 --- Begin Solver configuration --- 0.20/0.20 c Stops conflict analysis at the first Unique Implication Point 0.20/0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.20/0.20 c Learn all clauses as in MiniSAT 0.20/0.20 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=10000.0 initConflictBound=100 0.20/0.20 c VSIDS like heuristics from MiniSAT using a heap 0.20/0.20 c No reason simplification 0.20/0.20 c --- End Solver configuration --- 0.20/0.20 c solving /tmp/evaluation/350755-1176546876/instance-350755-1176546876.opb 0.20/0.20 c reading problem ... 2.16/1.36 c ... done. Wall clock time 1.165s. 2.16/1.36 c CPU time (experimental) 0.84s. 2.16/1.36 c #vars 8411 2.16/1.36 c #constraints 3201 8.99/5.99 c SATISFIABLE 8.99/5.99 c OPTIMIZING... 8.99/5.99 c Got one! Elapsed wall clock time (in seconds):5.793 9.09/6.00 o -28 752.00/742.30 c Got one! Elapsed wall clock time (in seconds):742.099 752.00/742.30 o -38 1800.03/1780.01 c starts : 6 1800.03/1780.01 c conflicts : 11028 1800.03/1780.01 c decisions : 293928 1800.03/1780.01 c propagations : 5257208 1800.03/1780.01 c inspects : 315669306 1800.03/1780.01 c learnt literals : 0 1800.03/1780.01 c learnt binary clauses : 6 1800.03/1780.01 c learnt ternary clauses : 2 1800.03/1780.01 c learnt clauses : 11027 1800.03/1780.01 c root simplifications : 0 1800.03/1780.01 c removed literals (reason simplification) : 0 1800.03/1780.01 c reason swapping (by a shorter reason) : 0 1800.03/1780.01 c Calls to reduceDB : 0 1800.03/1780.01 c speed (decisions/second) : 283.2462186040057 1800.03/1780.01 c non guided choices 1771 1800.03/1780.01 s SATISFIABLE 1800.03/1780.06 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 -x11 x12 -x13 x14 -x15 x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 1800.03/1780.06 v -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 1800.03/1780.06 v -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 x79 -x80 x81 1800.03/1780.06 v -x82 x83 -x84 -x85 -x86 x87 x88 -x89 -x90 -x91 -x92 -x93 x94 -x95 x96 -x97 x98 x99 -x100 x101 -x102 -x103 -x104 -x105 -x106 -x107 1800.03/1780.06 v -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 1800.03/1780.06 v -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 x140 x141 x142 x143 x144 x145 x146 x147 -x148 -x149 -x150 1800.03/1780.06 v -x151 x152 -x153 -x154 -x155 x156 -x157 x158 x159 -x160 -x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 1800.03/1780.06 v -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 x181 x182 x183 -x184 -x185 -x186 x187 x188 -x189 -x190 x191 -x192 -x193 -x194 1800.03/1780.06 v -x195 x196 x197 -x198 -x199 x200 x201 x202 -x203 x204 x205 x206 x207 x208 -x209 -x210 -x211 -x212 -x213 x214 -x215 -x216 -x217 1800.03/1780.06 v -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 1800.03/1780.06 v -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 1800.03/1780.06 v -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 1800.03/1780.06 v -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 1800.03/1780.06 v -x302 -x303 -x304 -x305 -x306 -x307 x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 1800.03/1780.06 v -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 1800.03/1780.06 v -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 1800.03/1780.06 v -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 x380 -x381 -x382 -x383 -x384 -x385 1800.03/1780.06 v -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 x400 x401 -x402 -x403 -x404 -x405 -x406 1800.03/1780.06 v -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 1800.03/1780.06 v -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 1800.03/1780.06 v -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 1800.03/1780.06 v -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 x490 1800.03/1780.06 v -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 1800.03/1780.06 v -x512 -x513 -x514 -x515 -x516 -x517 -x518 x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 1800.03/1780.06 v -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 1800.03/1780.06 v -x554 -x555 -x556 x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 1800.03/1780.06 v -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 1800.03/1780.06 v -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 1800.03/1780.06 v -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 1800.03/1780.06 v -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 1800.03/1780.06 v -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 1800.03/1780.06 v -x680 -x681 -x682 -x683 -x684 x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 1800.03/1780.06 v -x701 -x702 -x703 x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 x712 x713 x714 x715 x716 -x717 x718 x719 x720 -x721 -x722 1800.03/1780.06 v x723 x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 1800.03/1780.06 v -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 1800.03/1780.06 v -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 1800.03/1780.06 v -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 1800.03/1780.06 v -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 x818 x819 x820 -x821 x822 x823 x824 x825 x826 x827 x828 x829 1800.03/1780.06 v -x830 -x831 -x832 -x833 -x834 x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 1800.03/1780.06 v -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 1800.03/1780.06 v -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 1800.03/1780.06 v -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 1800.03/1780.06 v -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 1800.03/1780.06 v -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 1800.03/1780.06 v -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 1800.03/1780.06 v -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 1800.03/1780.06 v -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 1800.03/1780.06 v -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 1800.03/1780.06 v -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 1800.03/1780.06 v -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 1800.03/1780.06 v -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 1800.03/1780.06 v -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 1800.03/1780.06 v -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 1800.03/1780.06 v -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 x1131 -x1132 -x1133 x1134 -x1135 1800.03/1780.06 v -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 1800.03/1780.06 v -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 1800.03/1780.06 v -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 1800.03/1780.06 v -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 1800.03/1780.06 v -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 1800.03/1780.06 v -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 1800.03/1780.06 v -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 1800.03/1780.06 v -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 1800.03/1780.06 v -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 1800.03/1780.06 v -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 1800.03/1780.06 v -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 1800.03/1780.06 v -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 1800.03/1780.06 v -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 1800.03/1780.06 v -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 1800.03/1780.06 v -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 1800.03/1780.06 v -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 1800.03/1780.06 v -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 1800.03/1780.06 v -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 1800.03/1780.06 v -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 1800.03/1780.06 v -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 1800.03/1780.06 v -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 1800.03/1780.06 v -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 1800.03/1780.06 v -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 1800.03/1780.06 v -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 1800.03/1780.06 v -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 1800.03/1780.06 v -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 1800.03/1780.06 v -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 1800.03/1780.06 v -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 1800.03/1780.06 v -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 1800.03/1780.06 v -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 1800.03/1780.06 v -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 1800.03/1780.06 v -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 1800.03/1780.06 v -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 1800.03/1780.06 v -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 1800.03/1780.06 v -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 1800.03/1780.06 v -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 1800.03/1780.06 v -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 1800.03/1780.06 v -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 1800.03/1780.06 v -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 1800.03/1780.06 v -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 1800.03/1780.06 v -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 1800.03/1780.06 v -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 1800.03/1780.06 v -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 1800.03/1780.06 v -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 1800.03/1780.06 v -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 1800.03/1780.06 v -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 1800.03/1780.06 v -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 x1928 x1929 x1930 x1931 x1932 x1933 -x1934 -x1935 1800.03/1780.06 v x1936 -x1937 x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 1800.03/1780.06 v -x1954 -x1955 -x1956 -x1957 -x1958 x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 1800.03/1780.06 v -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 1800.03/1780.06 v -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 x2003 -x2004 1800.03/1780.06 v -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 1800.03/1780.06 v -x2022 x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 1800.03/1780.06 v -x2039 -x2040 -x2041 -x2042 -x2043 x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 1800.03/1780.06 v -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 x2067 -x2068 -x2069 -x2070 -x2071 -x2072 1800.03/1780.06 v -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 x2088 -x2089 1800.03/1780.06 v -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 1800.03/1780.06 v -x2107 x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 1800.03/1780.06 v -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 1800.03/1780.06 v -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 x2152 -x2153 -x2154 -x2155 -x2156 -x2157 1800.03/1780.06 v -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 x2172 -x2173 -x2174 1800.03/1780.06 v -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 1800.03/1780.06 v -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 1800.03/1780.06 v x2209 x2210 x2211 -x2212 -x2213 -x2214 x2215 -x2216 -x2217 -x2218 -x2219 -x2220 x2221 -x2222 -x2223 -x2224 -x2225 -x2226 1800.03/1780.06 v -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 x2242 -x2243 1800.03/1780.06 v -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 1800.03/1780.06 v -x2261 -x2262 x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 1800.03/1780.06 v -x2278 -x2279 -x2280 -x2281 x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 1800.03/1780.06 v -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 1800.03/1780.06 v -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 x2327 -x2328 1800.03/1780.06 v -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 1800.03/1780.06 v x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 1800.03/1780.06 v -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 1800.03/1780.06 v -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 x2391 -x2392 -x2393 -x2394 -x2395 -x2396 1800.03/1780.06 v -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 x2410 -x2411 -x2412 -x2413 1800.03/1780.06 v -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 1800.03/1780.06 v -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 1800.03/1780.06 v -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 1800.03/1780.06 v -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 x2474 -x2475 -x2476 -x2477 x2478 x2479 -x2480 -x2481 x2482 1800.03/1780.06 v x2483 x2484 -x2485 x2486 x2487 x2488 x2489 x2490 x2491 x2492 -x2493 x2494 -x2495 -x2496 x2497 -x2498 -x2499 -x2500 -x2501 1800.03/1780.06 v -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 1800.03/1780.06 v -x2519 -x2520 -x2521 -x2522 x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 1800.03/1780.06 v -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 1800.03/1780.06 v -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 1800.03/1780.06 v -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 x2585 -x2586 1800.03/1780.06 v x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 1800.03/1780.06 v -x2604 -x2605 x2606 -x2607 x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 1800.03/1780.06 v -x2622 -x2623 -x2624 -x2625 -x2626 x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 1800.03/1780.06 v -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 x2650 -x2651 -x2652 -x2653 -x2654 -x2655 1800.03/1780.06 v -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 x2671 -x2672 1800.03/1780.06 v -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 1800.03/1780.06 v -x2690 x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 1800.03/1780.06 v -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 1800.03/1780.06 v -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 1800.03/1780.06 v -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 x2755 -x2756 -x2757 1800.03/1780.06 v -x2758 -x2759 -x2760 -x2761 -x2762 x2763 x2764 x2765 -x2766 x2767 x2768 x2769 x2770 x2771 x2772 -x2773 x2774 x2775 -x2776 1800.03/1780.06 v -x2777 x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 1800.03/1780.06 v -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 1800.03/1780.06 v -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 x2824 -x2825 -x2826 -x2827 1800.03/1780.06 v -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 1800.03/1780.06 v -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 1800.03/1780.06 v -x2862 -x2863 -x2864 -x2865 x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 1800.03/1780.06 v -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 x2887 -x2888 x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 1800.03/1780.06 v -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 1800.03/1780.06 v -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 1800.03/1780.06 v x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 1800.03/1780.06 v -x2948 -x2949 -x2950 x2951 -x2952 x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 1800.03/1780.06 v -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 1800.03/1780.06 v -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 x2994 -x2995 -x2996 -x2997 -x2998 -x2999 1800.03/1780.06 v -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 x3016 1800.03/1780.06 v -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 1800.03/1780.06 v -x3034 -x3035 x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 x3048 x3049 x3050 x3051 1800.03/1780.06 v -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 1800.03/1780.06 v -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 1800.03/1780.06 v -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 1800.03/1780.06 v -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 1800.03/1780.06 v -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 1800.03/1780.06 v -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 1800.03/1780.06 v -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 x3168 -x3169 -x3170 1800.03/1780.06 v -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 1800.03/1780.06 v -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 1800.03/1780.06 v -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 1800.03/1780.06 v -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 1800.03/1780.06 v -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 1800.03/1780.06 v -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 1800.03/1780.06 v -x3273 -x3274 -x3275 x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 1800.03/1780.06 v -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 1800.03/1780.06 v -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 1800.03/1780.06 v -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 1800.03/1780.06 v -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 x3356 -x3357 1800.03/1780.06 v -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 1800.03/1780.06 v -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 1800.03/1780.06 v -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 1800.03/1780.06 v -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 1800.03/1780.06 v -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 1800.03/1780.06 v -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 x3457 x3458 x3459 x3460 1800.03/1780.06 v x3461 -x3462 x3463 x3464 x3465 -x3466 -x3467 x3468 x3469 -x3470 -x3471 -x3472 -x3473 x3474 x3475 x3476 x3477 x3478 x3479 1800.03/1780.06 v x3480 x3481 x3482 x3483 -x3484 -x3485 x3486 x3487 x3488 x3489 x3490 x3491 x3492 -x3493 -x3494 -x3495 x3496 x3497 x3498 x3499 1800.03/1780.06 v -x3500 -x3501 -x3502 x3503 -x3504 x3505 x3506 x3507 -x3508 x3509 -x3510 -x3511 x3512 -x3513 x3514 x3515 -x3516 x3517 x3518 1800.03/1780.06 v x3519 x3520 x3521 -x3522 -x3523 -x3524 -x3525 x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 1800.03/1780.06 v -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 1800.03/1780.06 v -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 1800.03/1780.06 v -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 1800.03/1780.06 v -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 1800.03/1780.06 v -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 1800.03/1780.06 v -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 1800.03/1780.06 v -x3639 -x3640 -x3641 -x3642 x3643 x3644 x3645 x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 1800.03/1780.06 v x3657 -x3658 -x3659 x3660 x3661 -x3662 -x3663 -x3664 -x3665 x3666 -x3667 -x3668 x3669 -x3670 -x3671 -x3672 x3673 -x3674 1800.03/1780.06 v x3675 -x3676 -x3677 x3678 x3679 -x3680 -x3681 x3682 -x3683 x3684 x3685 -x3686 x3687 x3688 x3689 x3690 x3691 -x3692 -x3693 1800.03/1780.06 v -x3694 -x3695 -x3696 -x3697 -x3698 x3699 -x3700 x3701 x3702 x3703 x3704 x3705 -x3706 x3707 -x3708 -x3709 -x3710 x3711 x3712 1800.03/1780.06 v -x3713 x3714 -x3715 -x3716 -x3717 x3718 -x3719 x3720 x3721 x3722 -x3723 x3724 -x3725 -x3726 x3727 -x3728 -x3729 -x3730 1800.03/1780.06 v x3731 x3732 x3733 x3734 x3735 x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 1800.03/1780.06 v -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 1800.03/1780.06 v -x3766 x3767 -x3768 -x3769 -x3770 x3771 x3772 -x3773 -x3774 x3775 x3776 x3777 x3778 x3779 x3780 x3781 x3782 -x3783 -x3784 1800.03/1780.06 v -x3785 x3786 x3787 -x3788 -x3789 x3790 x3791 x3792 -x3793 x3794 x3795 x3796 x3797 x3798 x3799 x3800 -x3801 -x3802 -x3803 1800.03/1780.06 v -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 1800.03/1780.06 v -x3821 -x3822 -x3823 -x3824 -x3825 x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 1800.03/1780.06 v -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 1800.03/1780.06 v -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 1800.03/1780.06 v -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 1800.03/1780.06 v -x3889 x3890 x3891 x3892 -x3893 -x3894 -x3895 x3896 x3897 x3898 -x3899 -x3900 -x3901 x3902 x3903 x3904 -x3905 -x3906 -x3907 1800.03/1780.06 v x3908 x3909 x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 x3917 x3918 x3919 -x3920 -x3921 -x3922 x3923 x3924 x3925 -x3926 1800.03/1780.06 v -x3927 -x3928 x3929 x3930 x3931 -x3932 -x3933 -x3934 x3935 x3936 x3937 x3938 -x3939 x3940 x3941 -x3942 -x3943 x3944 -x3945 1800.03/1780.06 v x3946 x3947 -x3948 -x3949 -x3950 x3951 x3952 x3953 -x3954 -x3955 -x3956 x3957 x3958 x3959 -x3960 -x3961 x3962 -x3963 x3964 1800.03/1780.06 v x3965 -x3966 -x3967 x3968 -x3969 x3970 x3971 -x3972 -x3973 -x3974 x3975 x3976 x3977 -x3978 -x3979 -x3980 x3981 x3982 x3983 1800.03/1780.06 v -x3984 -x3985 x3986 x3987 -x3988 -x3989 x3990 -x3991 x3992 x3993 -x3994 -x3995 x3996 -x3997 -x3998 x3999 x4000 -x4001 x4002 1800.03/1780.06 v -x4003 -x4004 x4005 x4006 -x4007 x4008 -x4009 x4010 x4011 -x4012 -x4013 x4014 -x4015 x4016 x4017 -x4018 -x4019 x4020 -x4021 1800.03/1780.06 v -x4022 x4023 x4024 -x4025 x4026 -x4027 -x4028 x4029 x4030 -x4031 x4032 -x4033 x4034 x4035 x4036 -x4037 -x4038 -x4039 x4040 1800.03/1780.06 v x4041 x4042 -x4043 -x4044 -x4045 -x4046 x4047 x4048 x4049 -x4050 -x4051 -x4052 x4053 x4054 x4055 -x4056 -x4057 x4058 x4059 1800.03/1780.06 v x4060 -x4061 -x4062 -x4063 x4064 x4065 x4066 -x4067 -x4068 -x4069 -x4070 x4071 x4072 x4073 -x4074 -x4075 -x4076 x4077 x4078 1800.03/1780.06 v x4079 -x4080 -x4081 x4082 -x4083 -x4084 -x4085 x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 1800.03/1780.06 v -x4097 -x4098 -x4099 -x4100 -x4101 x4102 x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 x4112 -x4113 -x4114 1800.03/1780.06 v -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 1800.03/1780.06 v -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 1800.03/1780.06 v -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 1800.03/1780.06 v -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 1800.03/1780.06 v -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 x4197 -x4198 -x4199 1800.03/1780.06 v -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 1800.03/1780.06 v -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 x4224 -x4225 x4226 -x4227 x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 1800.03/1780.06 v -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 x4248 -x4249 x4250 -x4251 -x4252 1800.03/1780.06 v -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 x4264 x4265 x4266 x4267 -x4268 -x4269 -x4270 1800.03/1780.06 v -x4271 -x4272 -x4273 -x4274 x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 1800.03/1780.06 v -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 1800.03/1780.06 v -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 1800.03/1780.06 v -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 1800.03/1780.06 v -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 1800.03/1780.06 v -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 1800.03/1780.06 v -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 1800.03/1780.06 v -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 1800.03/1780.06 v -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 1800.03/1780.06 v -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 1800.03/1780.06 v -x4441 -x4442 -x4443 -x4444 -x4445 x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 1800.03/1780.06 v -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 1800.03/1780.06 v -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 x4486 -x4487 -x4488 -x4489 -x4490 x4491 -x4492 1800.03/1780.06 v x4493 -x4494 -x4495 -x4496 -x4497 x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 1800.03/1780.06 v -x4511 -x4512 -x4513 x4514 -x4515 x4516 -x4517 x4518 -x4519 -x4520 x4521 -x4522 -x4523 -x4524 x4525 -x4526 -x4527 -x4528 1800.03/1780.06 v -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 1800.03/1780.06 v -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 1800.03/1780.06 v -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 x4577 x4578 -x4579 -x4580 1800.03/1780.06 v -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 1800.03/1780.06 v -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 1800.03/1780.06 v -x4615 x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 1800.03/1780.06 v -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 1800.03/1780.06 v -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 1800.03/1780.06 v -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 1800.03/1780.06 v -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 1800.03/1780.06 v -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 1800.03/1780.06 v -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 1800.03/1780.06 v -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 1800.03/1780.06 v -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 1800.03/1780.06 v -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 1800.03/1780.06 v -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 1800.03/1780.06 v -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 1800.03/1780.06 v -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 x4835 -x4836 1800.03/1780.06 v -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 1800.03/1780.06 v -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 1800.03/1780.06 v -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 1800.03/1780.06 v -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 1800.03/1780.06 v -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 1800.03/1780.06 v -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 1800.03/1780.06 v -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 1800.03/1780.06 v -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 1800.03/1780.06 v -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 1800.03/1780.06 v -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 1800.03/1780.06 v -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 1800.03/1780.06 v -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 1800.03/1780.06 v -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 1800.03/1780.06 v -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 1800.03/1780.06 v -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 1800.03/1780.06 v -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 1800.03/1780.06 v -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 1800.03/1780.06 v -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 1800.03/1780.06 v -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 1800.03/1780.06 v -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 1800.03/1780.06 v -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 1800.03/1780.06 v -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 1800.03/1780.06 v -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 1800.03/1780.06 v -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 1800.03/1780.06 v -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 1800.03/1780.06 v -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 1800.03/1780.06 v -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 1800.03/1780.06 v -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 1800.03/1780.06 v -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 1800.03/1780.06 v -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 1800.03/1780.06 v -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 1800.03/1780.06 v -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 1800.03/1780.06 v -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 1800.03/1780.06 v -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 1800.03/1780.06 v -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 1800.03/1780.06 v -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 1800.03/1780.06 v -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 1800.03/1780.06 v -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 1800.03/1780.06 v -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 1800.03/1780.06 v -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 1800.03/1780.06 v -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 1800.03/1780.06 v -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 1800.03/1780.06 v -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 1800.03/1780.06 v -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 1800.03/1780.06 v -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 1800.03/1780.06 v -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 x5618 1800.03/1780.06 v -x5619 -x5620 x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 1800.03/1780.06 v -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 1800.03/1780.06 v -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 1800.03/1780.06 v -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 1800.03/1780.06 v -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 1800.03/1780.06 v -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 1800.03/1780.06 v -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 1800.03/1780.06 v -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 1800.03/1780.06 v -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 1800.03/1780.06 v -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 1800.03/1780.06 v -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 1800.03/1780.06 v -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 1800.03/1780.06 v -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 1800.03/1780.06 v -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 1800.03/1780.06 v -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 1800.03/1780.06 v -x5874 x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 1800.03/1780.06 v -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 1800.03/1780.06 v -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 1800.03/1780.06 v -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 1800.03/1780.06 v -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 1800.03/1780.06 v -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 1800.03/1780.06 v -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 1800.03/1780.06 v -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 1800.03/1780.06 v -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 1800.03/1780.06 v -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 1800.03/1780.06 v -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 1800.03/1780.06 v -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 1800.03/1780.06 v -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 1800.03/1780.06 v -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 1800.03/1780.06 v -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 1800.03/1780.06 v -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 1800.03/1780.06 v -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 1800.03/1780.06 v -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 1800.03/1780.06 v -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 1800.03/1780.06 v -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 1800.03/1780.06 v -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 1800.03/1780.06 v -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 1800.03/1780.06 v -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 1800.03/1780.06 v -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 1800.03/1780.06 v -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 1800.03/1780.06 v -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 1800.03/1780.06 v -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 1800.03/1780.06 v -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 1800.03/1780.06 v -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 1800.03/1780.06 v -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 1800.03/1780.06 v -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 1800.03/1780.06 v -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 1800.03/1780.06 v -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 1800.03/1780.06 v -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 1800.03/1780.06 v -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 1800.03/1780.06 v -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 1800.03/1780.06 v -x6486 x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 1800.03/1780.06 v -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 1800.03/1780.06 v -x6520 -x6521 x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 1800.03/1780.06 v -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 1800.03/1780.06 v -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 1800.03/1780.06 v -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 1800.03/1780.06 v -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 1800.03/1780.06 v -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 1800.03/1780.06 v -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 1800.03/1780.06 v -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 1800.03/1780.06 v -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 1800.03/1780.06 v -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 1800.03/1780.06 v -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 1800.03/1780.06 v -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 1800.03/1780.06 v -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 1800.03/1780.06 v -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 1800.03/1780.06 v -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 1800.03/1780.06 v -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 1800.03/1780.06 v -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 1800.03/1780.06 v -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 1800.03/1780.06 v -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 1800.03/1780.06 v -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 1800.03/1780.06 v -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 1800.03/1780.06 v -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 1800.03/1780.06 v -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 1800.03/1780.06 v -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 1800.03/1780.06 v -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 1800.03/1780.06 v -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 1800.03/1780.06 v -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 1800.03/1780.06 v -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 1800.03/1780.06 v -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 x7009 -x7010 -x7011 -x7012 1800.03/1780.06 v -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 1800.03/1780.06 v -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 1800.03/1780.06 v -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 1800.03/1780.06 v -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 1800.03/1780.06 v -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 x7092 -x7093 -x7094 -x7095 -x7096 -x7097 1800.03/1780.06 v -x7098 -x7099 x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 1800.03/1780.06 v -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 1800.03/1780.06 v -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 1800.03/1780.06 v -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 1800.03/1780.06 v -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 1800.03/1780.06 v -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 1800.03/1780.06 v -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 1800.03/1780.06 v -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 1800.03/1780.06 v -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 1800.03/1780.06 v -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 1800.03/1780.06 v -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 1800.03/1780.06 v -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 1800.03/1780.06 v -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 1800.03/1780.06 v -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 1800.03/1780.06 v -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 1800.03/1780.06 v -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 1800.03/1780.06 v -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 1800.03/1780.06 v -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 1800.03/1780.06 v -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 1800.03/1780.06 v -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 1800.03/1780.06 v -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 1800.03/1780.06 v -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 1800.03/1780.06 v -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 1800.03/1780.06 v -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 1800.03/1780.06 v -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 1800.03/1780.06 v -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 1800.03/1780.06 v -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 1800.03/1780.06 v -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 1800.03/1780.06 v -x7574 -x7575 x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 1800.03/1780.06 v -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 1800.03/1780.06 v -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 1800.03/1780.06 v -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 1800.03/1780.06 v -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 1800.03/1780.06 v -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 1800.03/1780.06 v -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 1800.03/1780.06 v -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 1800.03/1780.06 v -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 1800.03/1780.06 v -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 1800.03/1780.06 v -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 1800.03/1780.06 v -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 1800.03/1780.06 v -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 1800.03/1780.06 v -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 1800.03/1780.06 v -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 1800.03/1780.06 v -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 1800.03/1780.06 v -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 1800.03/1780.06 v -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 1800.03/1780.06 v -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 1800.03/1780.06 v -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 1800.03/1780.06 v -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 1800.03/1780.06 v -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 1800.03/1780.06 v -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 1800.03/1780.06 v -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 1800.03/1780.06 v -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 1800.03/1780.06 v -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 1800.03/1780.06 v -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 1800.03/1780.06 v -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 1800.03/1780.06 v -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 1800.03/1780.06 v -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 1800.03/1780.06 v -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 1800.03/1780.06 v -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 1800.03/1780.06 v -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 1800.03/1780.06 v -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 1800.03/1780.06 v -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 1800.03/1780.06 v -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 1800.03/1780.06 v -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 1800.03/1780.06 v -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 1800.03/1780.06 v -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 1800.03/1780.06 v -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 1800.03/1780.06 v -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 1800.03/1780.06 v -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 1800.03/1780.06 v -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 x8302 x8303 x8304 x8305 x8306 1800.03/1780.06 v -x8307 x8308 x8309 x8310 -x8311 -x8312 x8313 x8314 x8315 -x8316 x8317 x8318 x8319 x8320 x8321 -x8322 -x8323 -x8324 -x8325 1800.03/1780.06 v -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 1800.03/1780.06 v -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 x8356 x8357 -x8358 -x8359 -x8360 1800.03/1780.06 v -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 1800.03/1780.06 v -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 x8387 x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 1800.03/1780.06 v -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 1800.03/1780.10 c objective function=-38 1800.03/1780.10 c Total wall clock time (ms): 1779.905
OK -38
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node11/watcher-350755-1176546876 -o ROOT/results/node11/solver-350755-1176546876 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/350755-1176546876/sat4jPseudoCP.jar /tmp/evaluation/350755-1176546876/instance-350755-1176546876.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 0.99 1.00 2/77 18596 /proc/meminfo: memFree=1928024/2055920 swapFree=4140560/4192956 [pid=18596] ppid=18594 vsize=1520 CPUtime=0 /proc/18596/stat : 18596 (java) R 18594 18596 17296 0 -1 0 91 0 0 0 0 0 0 0 18 0 1 0 95736510 1556480 73 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 7950944 0 0 4096 0 0 0 0 17 1 0 0 /proc/18596/statm: 380 73 55 9 0 10 0 [startup+0.095668 s] /proc/loadavg: 1.00 0.99 1.00 2/77 18596 /proc/meminfo: memFree=1928024/2055920 swapFree=4140560/4192956 [pid=18596] ppid=18594 vsize=1780108 CPUtime=0.07 /proc/18596/stat : 18596 (java) S 18594 18596 17296 0 -1 0 3935 0 1 0 5 2 0 0 18 0 12 0 95736510 1822830592 3676 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/18596/statm: 445027 3676 1119 9 0 442646 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 1780108 [startup+0.101668 s] /proc/loadavg: 1.00 0.99 1.00 2/77 18596 /proc/meminfo: memFree=1928024/2055920 swapFree=4140560/4192956 [pid=18596] ppid=18594 vsize=1780108 CPUtime=0.08 /proc/18596/stat : 18596 (java) S 18594 18596 17296 0 -1 0 3979 0 1 0 6 2 0 0 18 0 12 0 95736510 1822830592 3720 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/18596/statm: 445027 3720 1123 9 0 442646 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1780108 [startup+0.30169 s] /proc/loadavg: 1.00 0.99 1.00 2/77 18596 /proc/meminfo: memFree=1928024/2055920 swapFree=4140560/4192956 [pid=18596] ppid=18594 vsize=1782560 CPUtime=0.32 /proc/18596/stat : 18596 (java) S 18594 18596 17296 0 -1 0 5264 0 1 0 29 3 0 0 18 0 12 0 95736510 1825341440 5002 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/18596/statm: 445640 5002 1264 9 0 443252 0 Current children cumulated CPU time (s) 0.32 Current children cumulated vsize (KiB) 1782560 [startup+0.701737 s] /proc/loadavg: 1.00 0.99 1.00 2/77 18596 /proc/meminfo: memFree=1928024/2055920 swapFree=4140560/4192956 [pid=18596] ppid=18594 vsize=1785040 CPUtime=0.98 /proc/18596/stat : 18596 (java) S 18594 18596 17296 0 -1 0 7775 0 1 0 93 5 0 0 18 0 12 0 95736510 1827880960 6954 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/18596/statm: 446260 6954 1310 9 0 443872 0 Current children cumulated CPU time (s) 0.98 Current children cumulated vsize (KiB) 1785040 [startup+1.50283 s] /proc/loadavg: 1.08 1.00 1.01 3/89 18608 /proc/meminfo: memFree=1894072/2055920 swapFree=4140560/4192956 [pid=18596] ppid=18594 vsize=1795612 CPUtime=2.57 /proc/18596/stat : 18596 (java) S 18594 18596 17296 0 -1 0 20236 0 1 0 245 12 0 0 18 0 13 0 95736510 1838706688 15670 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/18596/statm: 448903 15670 1318 9 0 446515 0 [pid=18596/tid=18598] ppid=18594 vsize=1795612 CPUtime=0.87 /proc/18596/task/18598/stat : 18598 (java) R 18594 18596 17296 0 -1 64 11574 0 1 0 80 7 0 0 18 0 13 0 95736511 1838706688 15670 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18599] ppid=18594 vsize=1795612 CPUtime=0 /proc/18596/task/18599/stat : 18599 (java) S 18594 18596 17296 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 95736512 1838706688 15670 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18600] ppid=18594 vsize=1795612 CPUtime=0 /proc/18596/task/18600/stat : 18600 (java) S 18594 18596 17296 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 95736512 1838706688 15670 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18596/tid=18601] ppid=18594 vsize=1795612 CPUtime=0 /proc/18596/task/18601/stat : 18601 (java) S 18594 18596 17296 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 95736515 1838706688 15670 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18602] ppid=18594 vsize=1795612 CPUtime=0 /proc/18596/task/18602/stat : 18602 (java) S 18594 18596 17296 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 95736515 1838706688 15670 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18603] ppid=18594 vsize=1795612 CPUtime=0 /proc/18596/task/18603/stat : 18603 (java) S 18594 18596 17296 0 -1 64 3 0 0 0 0 0 0 0 23 0 13 0 95736515 1838706688 15670 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18604] ppid=18594 vsize=1795612 CPUtime=0 /proc/18596/task/18604/stat : 18604 (java) S 18594 18596 17296 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 95736519 1838706688 15670 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18605] ppid=18594 vsize=1795612 CPUtime=0.88 /proc/18596/task/18605/stat : 18605 (java) R 18594 18596 17296 0 -1 64 3289 0 0 0 87 1 0 0 17 0 13 0 95736519 1838706688 15670 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 102399551 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18606] ppid=18594 vsize=1795612 CPUtime=0.79 /proc/18596/task/18606/stat : 18606 (java) R 18594 18596 17296 0 -1 64 4647 0 0 0 77 2 0 0 20 0 13 0 95736519 1838706688 15670 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 103336770 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18596/tid=18607] ppid=18594 vsize=1795612 CPUtime=0 /proc/18596/task/18607/stat : 18607 (java) S 18594 18596 17296 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 95736519 1838706688 15670 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18608] ppid=18594 vsize=1795612 CPUtime=0 /proc/18596/task/18608/stat : 18608 (java) S 18594 18596 17296 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 95736519 1838706688 15670 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2.57 Current children cumulated vsize (KiB) 1795612 [startup+3.10302 s] /proc/loadavg: 1.08 1.00 1.01 4/90 18609 /proc/meminfo: memFree=1840304/2055920 swapFree=4140560/4192956 [pid=18596] ppid=18594 vsize=1794364 CPUtime=5.27 /proc/18596/stat : 18596 (java) S 18594 18596 17296 0 -1 0 53380 0 1 0 500 27 0 0 18 0 13 0 95736510 1837428736 43017 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/18596/statm: 448591 43017 1330 9 0 446203 0 [pid=18596/tid=18598] ppid=18594 vsize=1794364 CPUtime=1.92 /proc/18596/task/18598/stat : 18598 (java) R 18594 18596 17296 0 -1 64 37754 0 1 0 173 19 0 0 19 0 13 0 95736511 1837428736 43017 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18599] ppid=18594 vsize=1794364 CPUtime=0.02 /proc/18596/task/18599/stat : 18599 (java) S 18594 18596 17296 0 -1 64 648 0 0 0 2 0 0 0 17 0 13 0 95736512 1837428736 43017 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18600] ppid=18594 vsize=1794364 CPUtime=0.02 /proc/18596/task/18600/stat : 18600 (java) S 18594 18596 17296 0 -1 64 651 0 0 0 2 0 0 0 17 0 13 0 95736512 1837428736 43017 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18596/tid=18601] ppid=18594 vsize=1794364 CPUtime=0 /proc/18596/task/18601/stat : 18601 (java) S 18594 18596 17296 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 95736515 1837428736 43017 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18602] ppid=18594 vsize=1794364 CPUtime=0 /proc/18596/task/18602/stat : 18602 (java) S 18594 18596 17296 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 95736515 1837428736 43017 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18603] ppid=18594 vsize=1794364 CPUtime=0 /proc/18596/task/18603/stat : 18603 (java) S 18594 18596 17296 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 95736515 1837428736 43017 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18604] ppid=18594 vsize=1794364 CPUtime=0 /proc/18596/task/18604/stat : 18604 (java) S 18594 18596 17296 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 95736519 1837428736 43017 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18605] ppid=18594 vsize=1794364 CPUtime=1.78 /proc/18596/task/18605/stat : 18605 (java) R 18594 18596 17296 0 -1 64 7057 0 0 0 175 3 0 0 16 0 13 0 95736519 1837428736 43017 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 102297110 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18596/tid=18606] ppid=18594 vsize=1794364 CPUtime=1.48 /proc/18596/task/18606/stat : 18606 (java) R 18594 18596 17296 0 -1 64 6540 0 0 0 145 3 0 0 17 0 13 0 95736519 1837428736 43017 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 104789924 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18607] ppid=18594 vsize=1794364 CPUtime=0 /proc/18596/task/18607/stat : 18607 (java) S 18594 18596 17296 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 95736519 1837428736 43017 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18608] ppid=18594 vsize=1794364 CPUtime=0 /proc/18596/task/18608/stat : 18608 (java) S 18594 18596 17296 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 95736519 1837428736 43017 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18609] ppid=18594 vsize=1794364 CPUtime=0 /proc/18596/task/18609/stat : 18609 (java) S 18594 18596 17296 0 -1 64 5 0 0 0 0 0 0 0 20 0 13 0 95736653 1837428736 43017 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 5.27 Current children cumulated vsize (KiB) 1794364 [startup+6.3014 s] /proc/loadavg: 1.08 1.00 1.01 2/90 18609 /proc/meminfo: memFree=1751472/2055920 swapFree=4140560/4192956 [pid=18596] ppid=18594 vsize=1794904 CPUtime=9.4 /proc/18596/stat : 18596 (java) S 18594 18596 17296 0 -1 0 61095 0 1 0 909 31 0 0 18 0 13 0 95736510 1837981696 43842 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/18596/statm: 448726 43842 1332 9 0 446338 0 [pid=18596/tid=18598] ppid=18594 vsize=1794904 CPUtime=4.73 /proc/18596/task/18598/stat : 18598 (java) R 18594 18596 17296 0 -1 64 37761 0 1 0 454 19 0 0 18 0 13 0 95736511 1837981696 43842 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109880308 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18596/tid=18599] ppid=18594 vsize=1794904 CPUtime=0.11 /proc/18596/task/18599/stat : 18599 (java) S 18594 18596 17296 0 -1 64 1627 0 0 0 11 0 0 0 16 0 13 0 95736512 1837981696 43842 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18600] ppid=18594 vsize=1794904 CPUtime=0.1 /proc/18596/task/18600/stat : 18600 (java) S 18594 18596 17296 0 -1 64 1674 0 0 0 10 0 0 0 17 0 13 0 95736512 1837981696 43842 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18596/tid=18601] ppid=18594 vsize=1794904 CPUtime=0 /proc/18596/task/18601/stat : 18601 (java) S 18594 18596 17296 0 -1 64 19 0 0 0 0 0 0 0 17 0 13 0 95736515 1837981696 43842 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18602] ppid=18594 vsize=1794904 CPUtime=0 /proc/18596/task/18602/stat : 18602 (java) S 18594 18596 17296 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 95736515 1837981696 43842 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18603] ppid=18594 vsize=1794904 CPUtime=0 /proc/18596/task/18603/stat : 18603 (java) S 18594 18596 17296 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 95736515 1837981696 43842 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18604] ppid=18594 vsize=1794904 CPUtime=0 /proc/18596/task/18604/stat : 18604 (java) S 18594 18596 17296 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 95736519 1837981696 43842 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18605] ppid=18594 vsize=1794904 CPUtime=2.36 /proc/18596/task/18605/stat : 18605 (java) S 18594 18596 17296 0 -1 64 9781 0 0 0 232 4 0 0 16 0 13 0 95736519 1837981696 43842 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18596/tid=18606] ppid=18594 vsize=1794904 CPUtime=2.03 /proc/18596/task/18606/stat : 18606 (java) S 18594 18596 17296 0 -1 64 9508 0 0 0 199 4 0 0 16 0 13 0 95736519 1837981696 43842 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18607] ppid=18594 vsize=1794904 CPUtime=0 /proc/18596/task/18607/stat : 18607 (java) S 18594 18596 17296 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 95736519 1837981696 43842 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18608] ppid=18594 vsize=1794904 CPUtime=0 /proc/18596/task/18608/stat : 18608 (java) R 18594 18596 17296 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 95736519 1837981696 43842 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 9.4 Current children cumulated vsize (KiB) 1794904 [startup+12.7022 s] /proc/loadavg: 1.07 1.00 1.00 2/90 18610 /proc/meminfo: memFree=1720256/2055920 swapFree=4140560/4192956 [pid=18596] ppid=18594 vsize=1794332 CPUtime=15.99 /proc/18596/stat : 18596 (java) S 18594 18596 17296 0 -1 0 70904 0 1 0 1564 35 0 0 18 0 13 0 95736510 1837395968 53098 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/18596/statm: 448583 53098 1334 9 0 446195 0 [pid=18596/tid=18598] ppid=18594 vsize=1794332 CPUtime=10.95 /proc/18596/task/18598/stat : 18598 (java) R 18594 18596 17296 0 -1 64 40711 0 1 0 1075 20 0 0 16 0 13 0 95736511 1837395968 53098 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109555087 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18596/tid=18599] ppid=18594 vsize=1794332 CPUtime=0.26 /proc/18596/task/18599/stat : 18599 (java) S 18594 18596 17296 0 -1 64 5073 0 0 0 24 2 0 0 16 0 13 0 95736512 1837395968 53098 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18600] ppid=18594 vsize=1794332 CPUtime=0.26 /proc/18596/task/18600/stat : 18600 (java) S 18594 18596 17296 0 -1 64 5072 0 0 0 24 2 0 0 16 0 13 0 95736512 1837395968 53098 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18596/tid=18601] ppid=18594 vsize=1794332 CPUtime=0 /proc/18596/task/18601/stat : 18601 (java) S 18594 18596 17296 0 -1 64 32 0 0 0 0 0 0 0 16 0 13 0 95736515 1837395968 53098 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18602] ppid=18594 vsize=1794332 CPUtime=0 /proc/18596/task/18602/stat : 18602 (java) S 18594 18596 17296 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 95736515 1837395968 53098 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18603] ppid=18594 vsize=1794332 CPUtime=0 /proc/18596/task/18603/stat : 18603 (java) S 18594 18596 17296 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 95736515 1837395968 53098 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18604] ppid=18594 vsize=1794332 CPUtime=0 /proc/18596/task/18604/stat : 18604 (java) S 18594 18596 17296 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 95736519 1837395968 53098 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18605] ppid=18594 vsize=1794332 CPUtime=2.39 /proc/18596/task/18605/stat : 18605 (java) S 18594 18596 17296 0 -1 64 9782 0 0 0 235 4 0 0 15 0 13 0 95736519 1837395968 53098 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18606] ppid=18594 vsize=1794332 CPUtime=2.07 /proc/18596/task/18606/stat : 18606 (java) S 18594 18596 17296 0 -1 64 9509 0 0 0 203 4 0 0 17 0 13 0 95736519 1837395968 53098 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18607] ppid=18594 vsize=1794332 CPUtime=0 /proc/18596/task/18607/stat : 18607 (java) S 18594 18596 17296 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 95736519 1837395968 53098 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18608] ppid=18594 vsize=1794332 CPUtime=0 /proc/18596/task/18608/stat : 18608 (java) S 18594 18596 17296 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 95736519 1837395968 53098 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18610] ppid=18594 vsize=1794332 CPUtime=0 /proc/18596/task/18610/stat : 18610 (java) S 18594 18596 17296 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 95737112 1837395968 53098 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 15.99 Current children cumulated vsize (KiB) 1794332 [startup+25.5027 s] /proc/loadavg: 1.06 1.00 1.00 2/90 18610 /proc/meminfo: memFree=1714176/2055920 swapFree=4140560/4192956 [pid=18596] ppid=18594 vsize=1794332 CPUtime=29 /proc/18596/stat : 18596 (java) S 18594 18596 17296 0 -1 0 73831 0 1 0 2864 36 0 0 18 0 13 0 95736510 1837395968 54530 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/18596/statm: 448583 54530 1335 9 0 446195 0 [pid=18596/tid=18598] ppid=18594 vsize=1794332 CPUtime=23.62 /proc/18596/task/18598/stat : 18598 (java) S 18594 18596 17296 0 -1 64 41212 0 1 0 2341 21 0 0 25 0 13 0 95736511 1837395968 54530 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18596/tid=18599] ppid=18594 vsize=1794332 CPUtime=0.38 /proc/18596/task/18599/stat : 18599 (java) R 18594 18596 17296 0 -1 64 6306 0 0 0 36 2 0 0 16 0 13 0 95736512 1837395968 54531 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105369140 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18600] ppid=18594 vsize=1794332 CPUtime=0.37 /proc/18596/task/18600/stat : 18600 (java) R 18594 18596 17296 0 -1 64 6262 0 0 0 35 2 0 0 16 0 13 0 95736512 1837395968 54531 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105369151 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18596/tid=18601] ppid=18594 vsize=1794332 CPUtime=0 /proc/18596/task/18601/stat : 18601 (java) S 18594 18596 17296 0 -1 64 35 0 0 0 0 0 0 0 16 0 13 0 95736515 1837395968 54531 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18602] ppid=18594 vsize=1794332 CPUtime=0 /proc/18596/task/18602/stat : 18602 (java) S 18594 18596 17296 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 95736515 1837395968 54531 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=18596] ppid=18594 vsize=1794332 CPUtime=1620.56 /proc/18596/stat : 18596 (java) S 18594 18596 17296 0 -1 0 160896 0 1 0 161953 103 0 0 18 0 13 0 95736510 1837395968 107644 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/18596/statm: 448583 107644 1335 9 0 446195 0 [pid=18596/tid=18598] ppid=18594 vsize=1794332 CPUtime=1583.97 /proc/18596/task/18598/stat : 18598 (java) R 18594 18596 17296 0 -1 64 55634 0 1 0 158357 40 0 0 25 0 13 0 95736511 1837395968 107644 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4110078304 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18599] ppid=18594 vsize=1794332 CPUtime=15.83 /proc/18596/task/18599/stat : 18599 (java) S 18594 18596 17296 0 -1 64 39709 0 0 0 1563 20 0 0 16 0 13 0 95736512 1837395968 107644 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18596/tid=18600] ppid=18594 vsize=1794332 CPUtime=15.84 /proc/18596/task/18600/stat : 18600 (java) S 18594 18596 17296 0 -1 64 45432 0 0 0 1564 20 0 0 16 0 13 0 95736512 1837395968 107644 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18601] ppid=18594 vsize=1794332 CPUtime=0.23 /proc/18596/task/18601/stat : 18601 (java) S 18594 18596 17296 0 -1 64 103 0 0 0 12 11 0 0 16 0 13 0 95736515 1837395968 107644 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18602] ppid=18594 vsize=1794332 CPUtime=0 /proc/18596/task/18602/stat : 18602 (java) S 18594 18596 17296 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 95736515 1837395968 107644 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18603] ppid=18594 vsize=1794332 CPUtime=0 /proc/18596/task/18603/stat : 18603 (java) S 18594 18596 17296 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 95736515 1837395968 107644 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18604] ppid=18594 vsize=1794332 CPUtime=0 /proc/18596/task/18604/stat : 18604 (java) S 18594 18596 17296 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 95736519 1837395968 107644 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18605] ppid=18594 vsize=1794332 CPUtime=2.46 /proc/18596/task/18605/stat : 18605 (java) S 18594 18596 17296 0 -1 64 9782 0 0 0 242 4 0 0 16 0 13 0 95736519 1837395968 107644 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18606] ppid=18594 vsize=1794332 CPUtime=2.16 /proc/18596/task/18606/stat : 18606 (java) S 18594 18596 17296 0 -1 64 9510 0 0 0 212 4 0 0 16 0 13 0 95736519 1837395968 107644 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18596/tid=18607] ppid=18594 vsize=1794332 CPUtime=0 /proc/18596/task/18607/stat : 18607 (java) S 18594 18596 17296 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 95736519 1837395968 107644 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18608] ppid=18594 vsize=1794332 CPUtime=0 /proc/18596/task/18608/stat : 18608 (java) S 18594 18596 17296 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 95736519 1837395968 107644 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18596/tid=18613] ppid=18594 vsize=1794332 CPUtime=0 /proc/18596/task/18613/stat : 18613 (java) S 18594 18596 17296 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 95810740 1837395968 107644 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1620.56 Current children cumulated vsize (KiB) 1794332 [startup+1662.3 s] /proc/loadavg: 1.04 1.03 1.00 2/90 18811 /proc/meminfo: memFree=1496560/2055920 swapFree=4140560/4192956 [pid=18596] ppid=18594 vsize=1794332 CPUtime=1681.05 /proc/18596/stat : 18596 (java) S 18594 18596 17296 0 -1 0 162358 0 1 0 167993 112 0 0 18 0 13 0 95736510 1837395968 108143 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/18596/statm: 448583 108143 1335 9 0 446195 0 [pid=18596/tid=18598] ppid=18594 vsize=1794332 CPUtime=1643.38 /proc/18596/task/18598/stat : 18598 (java) R 18594 18596 17296 0 -1 64 55655 0 1 0 164289 49 0 0 22 0 13 0 95736511 1837395968 108143 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109727891 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18599] ppid=18594 vsize=1794332 CPUtime=16.37 /proc/18596/task/18599/stat : 18599 (java) S 18594 18596 17296 0 -1 64 40231 0 0 0 1617 20 0 0 16 0 13 0 95736512 1837395968 108143 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18596/tid=18600] ppid=18594 vsize=1794332 CPUtime=16.38 /proc/18596/task/18600/stat : 18600 (java) S 18594 18596 17296 0 -1 64 46350 0 0 0 1617 21 0 0 17 0 13 0 95736512 1837395968 108143 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18601] ppid=18594 vsize=1794332 CPUtime=0.23 /proc/18596/task/18601/stat : 18601 (java) S 18594 18596 17296 0 -1 64 104 0 0 0 12 11 0 0 16 0 13 0 95736515 1837395968 108143 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=18596/tid=18602] ppid=18594 vsize=1794332 CPUtime=0 /proc/18596/task/18602/stat : 18602 (java) S 18594 18596 17296 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 95736515 1837395968 108143 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18603] ppid=18594 vsize=1794332 CPUtime=0 /proc/18596/task/18603/stat : 18603 (java) S 18594 18596 17296 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 95736515 1837395968 108143 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18604] ppid=18594 vsize=1794332 CPUtime=0 /proc/18596/task/18604/stat : 18604 (java) S 18594 18596 17296 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 95736519 1837395968 108143 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18605] ppid=18594 vsize=1794332 CPUtime=2.46 /proc/18596/task/18605/stat : 18605 (java) S 18594 18596 17296 0 -1 64 9782 0 0 0 242 4 0 0 16 0 13 0 95736519 1837395968 108143 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18606] ppid=18594 vsize=1794332 CPUtime=2.16 /proc/18596/task/18606/stat : 18606 (java) S 18594 18596 17296 0 -1 64 9510 0 0 0 212 4 0 0 16 0 13 0 95736519 1837395968 108143 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18596/tid=18607] ppid=18594 vsize=1794332 CPUtime=0 /proc/18596/task/18607/stat : 18607 (java) S 18594 18596 17296 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 95736519 1837395968 108143 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18608] ppid=18594 vsize=1794332 CPUtime=0 /proc/18596/task/18608/stat : 18608 (java) S 18594 18596 17296 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 95736519 1837395968 108143 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18596/tid=18613] ppid=18594 vsize=1794332 CPUtime=0 /proc/18596/task/18613/stat : 18613 (java) S 18594 18596 17296 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 95810740 1837395968 108143 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1681.05 Current children cumulated vsize (KiB) 1794332 [startup+1722.3 s] /proc/loadavg: 1.01 1.02 1.00 2/90 18811 /proc/meminfo: memFree=1490288/2055920 swapFree=4140560/4192956 [pid=18596] ppid=18594 vsize=1794332 CPUtime=1741.8 /proc/18596/stat : 18596 (java) S 18594 18596 17296 0 -1 0 164017 0 1 0 174066 114 0 0 18 0 13 0 95736510 1837395968 109742 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/18596/statm: 448583 109742 1335 9 0 446195 0 [pid=18596/tid=18598] ppid=18594 vsize=1794332 CPUtime=1702.54 /proc/18596/task/18598/stat : 18598 (java) R 18594 18596 17296 0 -1 64 55687 0 1 0 170205 49 0 0 25 0 13 0 95736511 1837395968 109742 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4110078412 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18599] ppid=18594 vsize=1794332 CPUtime=17.16 /proc/18596/task/18599/stat : 18599 (java) S 18594 18596 17296 0 -1 64 40886 0 0 0 1696 20 0 0 16 0 13 0 95736512 1837395968 109742 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18600] ppid=18594 vsize=1794332 CPUtime=17.17 /proc/18596/task/18600/stat : 18600 (java) S 18594 18596 17296 0 -1 64 47322 0 0 0 1696 21 0 0 16 0 13 0 95736512 1837395968 109742 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18596/tid=18601] ppid=18594 vsize=1794332 CPUtime=0.25 /proc/18596/task/18601/stat : 18601 (java) S 18594 18596 17296 0 -1 64 104 0 0 0 13 12 0 0 15 0 13 0 95736515 1837395968 109742 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18602] ppid=18594 vsize=1794332 CPUtime=0 /proc/18596/task/18602/stat : 18602 (java) S 18594 18596 17296 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 95736515 1837395968 109742 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18603] ppid=18594 vsize=1794332 CPUtime=0 /proc/18596/task/18603/stat : 18603 (java) S 18594 18596 17296 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 95736515 1837395968 109742 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18604] ppid=18594 vsize=1794332 CPUtime=0 /proc/18596/task/18604/stat : 18604 (java) S 18594 18596 17296 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 95736519 1837395968 109742 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18605] ppid=18594 vsize=1794332 CPUtime=2.46 /proc/18596/task/18605/stat : 18605 (java) S 18594 18596 17296 0 -1 64 9782 0 0 0 242 4 0 0 16 0 13 0 95736519 1837395968 109742 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18606] ppid=18594 vsize=1794332 CPUtime=2.16 /proc/18596/task/18606/stat : 18606 (java) S 18594 18596 17296 0 -1 64 9510 0 0 0 212 4 0 0 16 0 13 0 95736519 1837395968 109742 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18596/tid=18607] ppid=18594 vsize=1794332 CPUtime=0 /proc/18596/task/18607/stat : 18607 (java) S 18594 18596 17296 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 95736519 1837395968 109742 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18608] ppid=18594 vsize=1794332 CPUtime=0 /proc/18596/task/18608/stat : 18608 (java) S 18594 18596 17296 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 95736519 1837395968 109742 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18596/tid=18613] ppid=18594 vsize=1794332 CPUtime=0 /proc/18596/task/18613/stat : 18613 (java) S 18594 18596 17296 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 95810740 1837395968 109742 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1741.8 Current children cumulated vsize (KiB) 1794332 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1780 s] /proc/loadavg: 1.00 1.02 1.00 3/90 18811 /proc/meminfo: memFree=1486640/2055920 swapFree=4140560/4192956 [pid=18596] ppid=18594 vsize=1794332 CPUtime=1800.03 /proc/18596/stat : 18596 (java) S 18594 18596 17296 0 -1 0 165408 0 1 0 179888 115 0 0 18 0 13 0 95736510 1837395968 110531 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/18596/statm: 448583 110531 1335 9 0 446195 0 [pid=18596/tid=18598] ppid=18594 vsize=1794332 CPUtime=1759.63 /proc/18596/task/18598/stat : 18598 (java) R 18594 18596 17296 0 -1 64 55708 0 1 0 175914 49 0 0 25 0 13 0 95736511 1837395968 110531 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109755210 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18599] ppid=18594 vsize=1794332 CPUtime=17.73 /proc/18596/task/18599/stat : 18599 (java) S 18594 18596 17296 0 -1 64 41894 0 0 0 1752 21 0 0 16 0 13 0 95736512 1837395968 110531 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18600] ppid=18594 vsize=1794332 CPUtime=17.73 /proc/18596/task/18600/stat : 18600 (java) S 18594 18596 17296 0 -1 64 47684 0 0 0 1752 21 0 0 16 0 13 0 95736512 1837395968 110531 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18596/tid=18601] ppid=18594 vsize=1794332 CPUtime=0.25 /proc/18596/task/18601/stat : 18601 (java) S 18594 18596 17296 0 -1 64 104 0 0 0 13 12 0 0 16 0 13 0 95736515 1837395968 110531 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18602] ppid=18594 vsize=1794332 CPUtime=0 /proc/18596/task/18602/stat : 18602 (java) S 18594 18596 17296 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 95736515 1837395968 110531 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18603] ppid=18594 vsize=1794332 CPUtime=0 /proc/18596/task/18603/stat : 18603 (java) S 18594 18596 17296 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 95736515 1837395968 110531 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18604] ppid=18594 vsize=1794332 CPUtime=0 /proc/18596/task/18604/stat : 18604 (java) S 18594 18596 17296 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 95736519 1837395968 110531 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18605] ppid=18594 vsize=1794332 CPUtime=2.46 /proc/18596/task/18605/stat : 18605 (java) S 18594 18596 17296 0 -1 64 9782 0 0 0 242 4 0 0 16 0 13 0 95736519 1837395968 110531 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18606] ppid=18594 vsize=1794332 CPUtime=2.16 /proc/18596/task/18606/stat : 18606 (java) S 18594 18596 17296 0 -1 64 9510 0 0 0 212 4 0 0 16 0 13 0 95736519 1837395968 110531 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18596/tid=18607] ppid=18594 vsize=1794332 CPUtime=0 /proc/18596/task/18607/stat : 18607 (java) S 18594 18596 17296 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 95736519 1837395968 110531 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18608] ppid=18594 vsize=1794332 CPUtime=0 /proc/18596/task/18608/stat : 18608 (java) S 18594 18596 17296 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 95736519 1837395968 110531 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18596/tid=18613] ppid=18594 vsize=1794332 CPUtime=0 /proc/18596/task/18613/stat : 18613 (java) S 18594 18596 17296 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 95810740 1837395968 110531 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1794332 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1780.11 s] /proc/loadavg: 1.00 1.02 1.00 3/90 18811 /proc/meminfo: memFree=1486640/2055920 swapFree=4140560/4192956 [pid=18596] ppid=18594 vsize=1794980 CPUtime=1800.23 /proc/18596/stat : 18596 (java) S 18594 18596 17296 0 -1 0 165427 0 1 0 179908 115 0 0 16 0 14 0 95736510 1838059520 110550 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/18596/statm: 448745 110550 1335 9 0 446357 0 [pid=18596/tid=18598] ppid=18594 vsize=1794980 CPUtime=1759.74 /proc/18596/task/18598/stat : 18598 (java) R 18594 18596 17296 0 -1 64 55708 0 1 0 175925 49 0 0 25 0 14 0 95736511 1838059520 110550 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109555164 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18599] ppid=18594 vsize=1794980 CPUtime=17.73 /proc/18596/task/18599/stat : 18599 (java) S 18594 18596 17296 0 -1 64 41894 0 0 0 1752 21 0 0 16 0 14 0 95736512 1838059520 110550 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18600] ppid=18594 vsize=1794980 CPUtime=17.73 /proc/18596/task/18600/stat : 18600 (java) S 18594 18596 17296 0 -1 64 47684 0 0 0 1752 21 0 0 16 0 14 0 95736512 1838059520 110550 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18596/tid=18601] ppid=18594 vsize=1794980 CPUtime=0.25 /proc/18596/task/18601/stat : 18601 (java) S 18594 18596 17296 0 -1 64 104 0 0 0 13 12 0 0 16 0 14 0 95736515 1838059520 110550 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18602] ppid=18594 vsize=1794980 CPUtime=0 /proc/18596/task/18602/stat : 18602 (java) S 18594 18596 17296 0 -1 64 10 0 0 0 0 0 0 0 16 0 14 0 95736515 1838059520 110550 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18603] ppid=18594 vsize=1794980 CPUtime=0 /proc/18596/task/18603/stat : 18603 (java) S 18594 18596 17296 0 -1 64 6 0 0 0 0 0 0 0 16 0 14 0 95736515 1838059520 110550 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18604] ppid=18594 vsize=1794980 CPUtime=0 /proc/18596/task/18604/stat : 18604 (java) S 18594 18596 17296 0 -1 64 5 0 0 0 0 0 0 0 18 0 14 0 95736519 1838059520 110550 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18596/tid=18605] ppid=18594 vsize=1794980 CPUtime=2.49 /proc/18596/task/18605/stat : 18605 (java) S 18594 18596 17296 0 -1 64 9782 0 0 0 245 4 0 0 16 0 14 0 95736519 1838059520 110550 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18596/tid=18606] ppid=18594 vsize=1794980 CPUtime=2.18 /proc/18596/task/18606/stat : 18606 (java) S 18594 18596 17296 0 -1 64 9510 0 0 0 214 4 0 0 16 0 14 0 95736519 1838059520 110550 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18596/tid=18607] ppid=18594 vsize=1794980 CPUtime=0 /proc/18596/task/18607/stat : 18607 (java) S 18594 18596 17296 0 -1 64 2 0 0 0 0 0 0 0 25 0 14 0 95736519 1838059520 110550 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18596/tid=18608] ppid=18594 vsize=1794980 CPUtime=0 /proc/18596/task/18608/stat : 18608 (java) S 18594 18596 17296 0 -1 64 1 0 0 0 0 0 0 0 15 0 14 0 95736519 1838059520 110550 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18596/tid=18613] ppid=18594 vsize=1794980 CPUtime=0 /proc/18596/task/18613/stat : 18613 (java) S 18594 18596 17296 0 -1 64 1 0 0 0 0 0 0 0 18 0 14 0 95810740 1838059520 110550 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.23 Current children cumulated vsize (KiB) 1794980 Child status: 143 Real time (s): 1780.2 CPU time (s): 1800.32 CPU user time (s): 1799.09 CPU system time (s): 1.22581 CPU usage (%): 101.13 Max. virtual memory (cumulated for all children) (KiB): 1799000 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.09 system time used= 1.22581 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 165427 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= 45678 involuntary context switches= 54038 runsolver used 2.06669 second user time and 5.40218 second system time The end
Begin job on node11 on Sat Apr 14 10:34:36 UTC 2007 IDJOB= 350755 IDBENCH= 1585 IDSOLVER= 160 FILE ID= node11/350755-1176546876 PBS_JOBID= 4556741 Free space on /tmp= 66467 MiB SOLVER NAME= sat4jPseudoCP 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-neos20.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/350755-1176546876/sat4jPseudoCP.jar /tmp/evaluation/350755-1176546876/instance-350755-1176546876.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-350755-1176546876 -o ROOT/results/node11/solver-350755-1176546876 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/350755-1176546876/sat4jPseudoCP.jar /tmp/evaluation/350755-1176546876/instance-350755-1176546876.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 548627fc5af0dd4663b3515778a6a609 RANDOM SEED= 340327343 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node11.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.235 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.235 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: 1928368 kB Buffers: 12752 kB Cached: 50020 kB SwapCached: 21344 kB Active: 48644 kB Inactive: 39928 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1928368 kB SwapTotal: 4192956 kB SwapFree: 4140560 kB Dirty: 4028 kB Writeback: 0 kB Mapped: 26936 kB Slab: 24392 kB Committed_AS: 5091556 kB PageTables: 1856 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= 66467 MiB End job on node11 on Sat Apr 14 11:04:18 UTC 2007