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