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