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