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