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