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