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