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