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