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