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