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