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