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