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