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