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