Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 | SAT (TO) | 0 | 1800.71 | 1787.5 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-mkc.opb |
MD5SUM | eae2e8a732d92a062f083ccb58900b63 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -144250 |
Best CPU time to get the best result obtained on this benchmark | 1800.07 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -144250 |
Optimality of the best value was proved | NO |
Number of variables | 5383 |
Total number of constraints | 3279 |
Number of constraints which are clauses | 2977 |
Number of constraints which are cardinality constraints (but not clauses) | 276 |
Number of constraints which are nor clauses,nor cardinality constraints | 26 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2952 |
Number of terms in the objective function | 2946 |
Biggest coefficient in the objective function | 20000 |
Number of bits for the biggest coefficient in the objective function | 15 |
Sum of the numbers in the objective function | 31442101 |
Number of bits of the sum of numbers in the objective function | 25 |
Biggest number in a constraint | 67108864000 |
Number of bits of the biggest number in a constraint | 36 |
Biggest sum of numbers in a constraint | 138201238403 |
Number of bits of the biggest sum of numbers | 38 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.22 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.22 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.22 c no version file found!!! 0.22 c sun.arch.data.model 32 0.22 c java.version 1.5.0_06 0.22 c os.name Linux 0.22 c os.version 2.6.9-22.EL.rootsmp 0.22 c os.arch i386 0.22 c Free memory 1548419056 0.22 c Max memory 1551040512 0.22 c Total memory 1551040512 0.22 c Number of processors 2 0.28 c Cutting planes based inference 0.28 c --- Begin Solver configuration --- 0.28 c org.sat4j.minisat.uip.FirstUIP@1037c71 0.28 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1df073d 0.28 c org.sat4j.minisat.learning.MiniSATLearning@1546e25 0.28 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.28 c VSIDS like heuristics from MiniSAT using a heap 0.28 c No reason simplification 0.28 c --- End Solver configuration --- 0.28 c solving ROOT/tmp/node72/44777-1149316575/instance-44777-1149316575.opb 0.28 c reading problem ... 1.54 c ... done. Time 1.257 ms. 1.54 c #vars 5383 1.54 c #constraints 3225 1.71 c SATISFIABLE 1.71 c OPTIMIZING... 1.71 c Got one! Ellapsed CPU time (in seconds):1.43 1.75 o 0 1787.33 c starts : 3 1787.33 c conflicts : 119 1787.33 c decisions : 6501 1787.33 c propagations : 18796 1787.33 c inspects : 33355 1787.33 c learnt literals : 0 1787.33 c learnt binary clauses : 0 1787.33 c learnt ternary clauses : 0 1787.33 c learnt clauses : 118 1787.33 c root simplifications : 0 1787.33 c removed literals (reason simplification) : 0 1787.33 c reason swapping (by a shorter reason) : 0 1787.33 c Calls to reduceDB : 0 1787.33 c speed (decisions/second) : 3.640899040518653 1787.33 c non guided choices 6260 1787.33 s SATISFIABLE 1787.42 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 1787.42 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 1787.42 v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 1787.42 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 1787.42 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 1787.42 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 1787.42 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 1787.42 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 1787.42 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 1787.42 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 1787.42 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 1787.42 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 1787.42 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 1787.42 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 1787.42 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 1787.42 v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 1787.42 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 1787.42 v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 1787.42 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 1787.42 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 1787.42 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 1787.42 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 1787.42 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 1787.42 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 1787.42 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 1787.42 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 1787.42 v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 1787.42 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 1787.42 v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 1787.42 v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 1787.42 v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 1787.42 v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 1787.42 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 1787.42 v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 1787.42 v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 1787.42 v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 1787.42 v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 1787.42 v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 1787.42 v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 1787.42 v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 1787.42 v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 1787.42 v -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 1787.42 v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 1787.42 v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 1787.42 v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 1787.42 v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 1787.42 v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 1787.42 v -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 1787.42 v -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 1787.42 v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 1787.42 v -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 1787.42 v -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 1787.42 v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 1787.42 v -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 1787.42 v -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 1787.42 v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 1787.42 v -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 1787.42 v -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 1787.42 v -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 1787.42 v -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 1787.42 v -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 1787.42 v -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 1787.42 v -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 1787.42 v -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 1787.42 v -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 1787.42 v -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 1787.42 v -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 1787.42 v -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 1787.42 v -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 1787.42 v -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 1787.42 v -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 1787.42 v -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 1787.42 v -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 1787.42 v -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 1787.42 v -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 1787.42 v -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 1787.42 v -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 1787.42 v -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 1787.42 v -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 1787.42 v -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 1787.42 v -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 1787.42 v -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 1787.42 v -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 1787.42 v -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 1787.42 v -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 1787.42 v -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 1787.42 v -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 1787.42 v -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 1787.42 v -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 1787.42 v -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 1787.42 v -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 1787.42 v -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 1787.42 v -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 1787.42 v -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 1787.42 v -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 1787.42 v -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 1787.42 v -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 1787.42 v -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 1787.42 v -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 1787.42 v -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 1787.42 v -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 1787.42 v -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 1787.42 v -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 1787.42 v -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 1787.42 v -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 1787.42 v -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 1787.42 v -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 1787.42 v -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 1787.42 v -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 1787.42 v -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 1787.42 v -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 1787.42 v -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 1787.42 v -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 1787.42 v -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 1787.42 v -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 1787.42 v -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 1787.42 v -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 1787.42 v -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 1787.42 v -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 1787.42 v -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 1787.42 v -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 1787.42 v -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 1787.42 v -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 1787.42 v -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 1787.42 v -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 1787.42 v -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 1787.42 v -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 1787.42 v -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 1787.42 v -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 1787.42 v -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 1787.42 v -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 1787.42 v -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 1787.42 v -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 1787.42 v -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 1787.42 v -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 1787.42 v -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 1787.42 v -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 1787.42 v -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 1787.42 v -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 1787.42 v -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 1787.42 v -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 1787.42 v -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 1787.42 v -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 1787.42 v -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 1787.42 v -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 1787.42 v -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 1787.42 v -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 1787.42 v -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 1787.42 v -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 1787.42 v -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 1787.42 v -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 1787.42 v -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 1787.42 v -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 1787.42 v -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 1787.42 v -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 1787.42 v -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 1787.42 v -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 1787.42 v -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 1787.42 v -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 1787.42 v -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 1787.42 v -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 1787.42 v -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 1787.42 v -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 1787.42 v -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 1787.42 v -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 1787.42 v -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 1787.42 v -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 1787.42 v -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 1787.42 v -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 1787.42 v -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 1787.42 v -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 1787.42 v -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 1787.42 v -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 1787.42 v -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 1787.42 v -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 1787.42 v -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 1787.42 v -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 1787.42 v -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 1787.42 v -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 1787.42 v -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 1787.42 v -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 1787.42 v -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 1787.42 v -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 1787.42 v -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 1787.42 v -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 1787.42 v -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 1787.42 v -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 1787.42 v -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 1787.42 v -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 1787.42 v -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 1787.42 v -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 1787.42 v -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 1787.42 v -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 1787.42 v -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 1787.42 v -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 1787.42 v -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 1787.42 v -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 1787.42 v -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 1787.42 v -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 1787.42 v -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 1787.42 v -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 1787.42 v -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 1787.42 v -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 1787.42 v -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 1787.42 v -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 1787.42 v -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 1787.42 v -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 1787.42 v -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 1787.42 v -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 1787.42 v -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 1787.42 v -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 1787.42 v -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 1787.42 v -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 1787.42 v -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 1787.42 v -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 1787.42 v -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 1787.42 v -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 1787.42 v -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 1787.42 v -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 1787.42 v -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 1787.42 v -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 1787.42 v -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 1787.42 v -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 1787.42 v -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 1787.42 v -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 1787.42 v -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 1787.42 v -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 1787.42 v -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 1787.42 v -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 1787.42 v -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 1787.42 v -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 1787.42 v -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 1787.42 v -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 1787.42 v -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 1787.42 v -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 1787.42 v -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 1787.42 v -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 1787.42 v -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 1787.42 v -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 1787.42 v -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 1787.42 v -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 1787.42 v -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 1787.42 v -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 1787.42 v -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 1787.42 v -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 1787.42 v -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 1787.42 v -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 1787.42 v -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 1787.42 v -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 1787.42 v -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 1787.42 v -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 1787.42 v -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 1787.42 v -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 1787.42 v -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 1787.42 v -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 1787.42 v -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 1787.42 v -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 1787.42 v -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 1787.42 v -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 1787.42 v -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 1787.42 v -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 1787.42 v -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 1787.42 v -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 1787.42 v -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 1787.42 v -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 1787.42 v -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 1787.42 v -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 1787.42 v -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 1787.42 v -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 1787.42 v -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 1787.42 v -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 1787.42 v -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 1787.42 v -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 1787.42 v -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 1787.42 v -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 1787.42 v -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 1787.42 v -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 1787.42 v -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 1787.42 v -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 1787.42 v -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 1787.42 v -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 1787.42 v -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 1787.42 v -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 1787.42 v -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 1787.42 v -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 1787.42 v -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 1787.42 v -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 1787.42 v -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 1787.42 v -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 1787.42 v -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 1787.42 v -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 1787.42 v -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 1787.42 v -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 1787.42 v -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 1787.42 v -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 1787.42 v -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 1787.42 v -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 1787.42 v -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 1787.42 v -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 1787.42 v -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 1787.42 v -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 1787.42 v -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 1787.42 v -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 1787.42 v -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 1787.42 v -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 1787.44 c objective function=0 1787.44 c Total wall clock time (ms): 1787.155
OK 0
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/node72/watcher-44777-1149316575 -o ROOT/results/node72/solver-44777-1149316575 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node72/44777-1149316575/instance-44777-1149316575.opb 566582969 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.91 3/64 26821 /proc/meminfo: memFree=1766440/2055920 swapFree=4182268/4192956 [pid=26821] ppid=26819 vsize=1784 CPUtime=0 /proc/26821/stat : 26821 (java) D 26819 26821 26775 0 -1 0 176 0 0 0 0 0 0 0 18 0 1 0 197321905 1826816 146 18446744073709551615 134512640 134570276 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/26821/statm: 446 148 113 14 0 91 0 [startup+10.0023 s] /proc/loadavg: 1.00 0.97 0.92 2/76 26834 /proc/meminfo: memFree=1578584/2055920 swapFree=4182268/4192956 [pid=26821] ppid=26819 vsize=1713852 CPUtime=11.45 /proc/26821/stat : 26821 (java) R 26819 26821 26775 0 -1 0 52897 0 1 0 1119 26 0 0 25 0 13 0 197321905 1754984448 48728 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071429900 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26821/statm: 428463 48728 1908 14 0 415210 0 [pid=26821/tid=26822] ppid=26819 vsize=1713852 CPUtime=0.09 /proc/26821/task/26822/stat : 26822 (java) S 26819 26821 26775 0 -1 64 2397 0 0 0 9 0 0 0 15 0 13 0 197321916 1754984448 48728 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26823] ppid=26819 vsize=1713852 CPUtime=0.09 /proc/26821/task/26823/stat : 26823 (java) S 26819 26821 26775 0 -1 64 2462 0 0 0 9 0 0 0 16 0 13 0 197321916 1754984448 48728 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26821/tid=26824] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26824/stat : 26824 (java) S 26819 26821 26775 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 197321919 1754984448 48728 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=26821/tid=26825] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26825/stat : 26825 (java) S 26819 26821 26775 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197321919 1754984448 48728 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26826] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26826/stat : 26826 (java) S 26819 26821 26775 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197321919 1754984448 48728 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26827] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26827/stat : 26827 (java) S 26819 26821 26775 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 197321923 1754984448 48728 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26828] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26828/stat : 26828 (java) S 26819 26821 26775 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 197321923 1754984448 48728 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26829] ppid=26819 vsize=1713852 CPUtime=0.82 /proc/26821/task/26829/stat : 26829 (java) S 26819 26821 26775 0 -1 64 1402 0 0 0 82 0 0 0 16 0 13 0 197321923 1754984448 48728 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26830] ppid=26819 vsize=1713852 CPUtime=1.08 /proc/26821/task/26830/stat : 26830 (java) S 26819 26821 26775 0 -1 64 3088 0 0 0 107 1 0 0 16 0 13 0 197321923 1754984448 48728 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26821/tid=26831] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26831/stat : 26831 (java) S 26819 26821 26775 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197321923 1754984448 48728 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26832] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26832/stat : 26832 (java) S 26819 26821 26775 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 197321923 1754984448 48728 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26834] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26834/stat : 26834 (java) S 26819 26821 26775 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 197322084 1754984448 48728 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 11.45 Current children cumulated vsize (Kb) 1713852 [startup+20.0092 s] /proc/loadavg: 1.00 0.97 0.92 2/76 26834 /proc/meminfo: memFree=1567128/2055920 swapFree=4182268/4192956 [pid=26821] ppid=26819 vsize=1713852 CPUtime=21.54 /proc/26821/stat : 26821 (java) R 26819 26821 26775 0 -1 0 56972 0 1 0 2127 27 0 0 25 0 13 0 197321905 1754984448 51551 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071573109 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26821/statm: 428463 51551 1910 14 0 415210 0 [pid=26821/tid=26822] ppid=26819 vsize=1713852 CPUtime=0.18 /proc/26821/task/26822/stat : 26822 (java) S 26819 26821 26775 0 -1 64 4739 0 0 0 17 1 0 0 16 0 13 0 197321916 1754984448 51551 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26823] ppid=26819 vsize=1713852 CPUtime=0.18 /proc/26821/task/26823/stat : 26823 (java) S 26819 26821 26775 0 -1 64 4179 0 0 0 17 1 0 0 16 0 13 0 197321916 1754984448 51551 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26821/tid=26824] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26824/stat : 26824 (java) S 26819 26821 26775 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 197321919 1754984448 51551 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=26821/tid=26825] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26825/stat : 26825 (java) S 26819 26821 26775 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197321919 1754984448 51551 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26826] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26826/stat : 26826 (java) S 26819 26821 26775 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197321919 1754984448 51551 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26827] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26827/stat : 26827 (java) S 26819 26821 26775 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 197321923 1754984448 51551 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26828] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26828/stat : 26828 (java) S 26819 26821 26775 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 197321923 1754984448 51551 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26829] ppid=26819 vsize=1713852 CPUtime=0.82 /proc/26821/task/26829/stat : 26829 (java) S 26819 26821 26775 0 -1 64 1402 0 0 0 82 0 0 0 16 0 13 0 197321923 1754984448 51551 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26830] ppid=26819 vsize=1713852 CPUtime=1.09 /proc/26821/task/26830/stat : 26830 (java) S 26819 26821 26775 0 -1 64 3090 0 0 0 108 1 0 0 17 0 13 0 197321923 1754984448 51551 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26821/tid=26831] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26831/stat : 26831 (java) S 26819 26821 26775 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197321923 1754984448 51551 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26832] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26832/stat : 26832 (java) S 26819 26821 26775 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 197321923 1754984448 51551 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26834] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26834/stat : 26834 (java) S 26819 26821 26775 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 197322084 1754984448 51551 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 21.54 Current children cumulated vsize (Kb) 1713852 [startup+30.0161 s] /proc/loadavg: 1.00 0.97 0.92 2/76 26834 /proc/meminfo: memFree=1580248/2055920 swapFree=4182268/4192956 [pid=26821] ppid=26819 vsize=1713852 CPUtime=31.57 /proc/26821/stat : 26821 (java) R 26819 26821 26775 0 -1 0 57845 0 1 0 3129 28 0 0 22 0 13 0 197321905 1754984448 48278 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071429623 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26821/statm: 428463 48278 1910 14 0 415210 0 [pid=26821/tid=26822] ppid=26819 vsize=1713852 CPUtime=0.22 /proc/26821/task/26822/stat : 26822 (java) S 26819 26821 26775 0 -1 64 5335 0 0 0 21 1 0 0 16 0 13 0 197321916 1754984448 48278 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26823] ppid=26819 vsize=1713852 CPUtime=0.2 /proc/26821/task/26823/stat : 26823 (java) S 26819 26821 26775 0 -1 64 4440 0 0 0 19 1 0 0 16 0 13 0 197321916 1754984448 48278 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26821/tid=26824] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26824/stat : 26824 (java) S 26819 26821 26775 0 -1 64 31 0 0 0 0 0 0 0 15 0 13 0 197321919 1754984448 48278 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26825] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26825/stat : 26825 (java) S 26819 26821 26775 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197321919 1754984448 48278 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26826] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26826/stat : 26826 (java) S 26819 26821 26775 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197321919 1754984448 48278 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26827] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26827/stat : 26827 (java) S 26819 26821 26775 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 197321923 1754984448 48278 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26828] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26828/stat : 26828 (java) S 26819 26821 26775 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 197321923 1754984448 48278 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26829] ppid=26819 vsize=1713852 CPUtime=0.82 /proc/26821/task/26829/stat : 26829 (java) S 26819 26821 26775 0 -1 64 1402 0 0 0 82 0 0 0 16 0 13 0 197321923 1754984448 48278 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26830] ppid=26819 vsize=1713852 CPUtime=1.09 /proc/26821/task/26830/stat : 26830 (java) S 26819 26821 26775 0 -1 64 3090 0 0 0 108 1 0 0 17 0 13 0 197321923 1754984448 48278 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26821/tid=26831] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26831/stat : 26831 (java) S 26819 26821 26775 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197321923 1754984448 48278 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26832] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26832/stat : 26832 (java) S 26819 26821 26775 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 197321923 1754984448 48278 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26821/tid=26834] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26834/stat : 26834 (java) S 26819 26821 26775 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 197322084 1754984448 48278 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 31.57 Current children cumulated vsize (Kb) 1713852 [startup+40.023 s] /proc/loadavg: 1.00 0.97 0.92 2/76 26834 /proc/meminfo: memFree=1587608/2055920 swapFree=4182268/4192956 [pid=26821] ppid=26819 vsize=1713852 CPUtime=41.62 /proc/26821/stat : 26821 (java) R 26819 26821 26775 0 -1 0 58933 0 1 0 4133 29 0 0 19 0 13 0 197321905 1754984448 46450 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071411795 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26821/statm: 428463 46450 1910 14 0 415210 0 [pid=26821/tid=26822] ppid=26819 vsize=1713852 CPUtime=0.26 /proc/26821/task/26822/stat : 26822 (java) S 26819 26821 26775 0 -1 64 5918 0 0 0 25 1 0 0 16 0 13 0 197321916 1754984448 46450 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26823] ppid=26819 vsize=1713852 CPUtime=0.26 /proc/26821/task/26823/stat : 26823 (java) S 26819 26821 26775 0 -1 64 4929 0 0 0 24 2 0 0 16 0 13 0 197321916 1754984448 46450 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26821/tid=26824] ppid=26819 vsize=1713852 CPUtime=0.01 /proc/26821/task/26824/stat : 26824 (java) S 26819 26821 26775 0 -1 64 31 0 0 0 0 1 0 0 15 0 13 0 197321919 1754984448 46450 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26825] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26825/stat : 26825 (java) S 26819 26821 26775 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197321919 1754984448 46450 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26826] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26826/stat : 26826 (java) S 26819 26821 26775 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197321919 1754984448 46450 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26827] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26827/stat : 26827 (java) S 26819 26821 26775 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 197321923 1754984448 46450 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26828] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26828/stat : 26828 (java) S 26819 26821 26775 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 197321923 1754984448 46450 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26829] ppid=26819 vsize=1713852 CPUtime=0.82 /proc/26821/task/26829/stat : 26829 (java) S 26819 26821 26775 0 -1 64 1402 0 0 0 82 0 0 0 16 0 13 0 197321923 1754984448 46450 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26830] ppid=26819 vsize=1713852 CPUtime=1.09 /proc/26821/task/26830/stat : 26830 (java) S 26819 26821 26775 0 -1 64 3090 0 0 0 108 1 0 0 17 0 13 0 197321923 1754984448 46450 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26821/tid=26831] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26831/stat : 26831 (java) S 26819 26821 26775 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197321923 1754984448 46450 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26832] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26832/stat : 26832 (java) S 26819 26821 26775 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 197321923 1754984448 46450 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26821/tid=26834] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26834/stat : 26834 (java) S 26819 26821 26775 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 197322084 1754984448 46450 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 41.62 Current children cumulated vsize (Kb) 1713852 [startup+50.0299 s] /proc/loadavg: 1.00 0.97 0.92 2/76 26834 /proc/meminfo: memFree=1591384/2055920 swapFree=4182268/4192956 [pid=26821] ppid=26819 vsize=1713852 CPUtime=51.68 /proc/26821/stat : 26821 (java) R 26819 26821 26775 0 -1 0 60013 0 1 0 5138 30 0 0 22 0 13 0 197321905 1754984448 45514 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071429623 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26821/statm: 428463 45514 1910 14 0 415210 0 [pid=26821/tid=26822] ppid=26819 vsize=1713852 CPUtime=0.31 /proc/26821/task/26822/stat : 26822 (java) S 26819 26821 26775 0 -1 64 6416 0 0 0 30 1 0 0 16 0 13 0 197321916 1754984448 45514 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26823] ppid=26819 vsize=1713852 CPUtime=0.3 /proc/26821/task/26823/stat : 26823 (java) S 26819 26821 26775 0 -1 64 5493 0 0 0 28 2 0 0 16 0 13 0 197321916 1754984448 45514 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26821/tid=26824] ppid=26819 vsize=1713852 CPUtime=0.02 /proc/26821/task/26824/stat : 26824 (java) S 26819 26821 26775 0 -1 64 31 0 0 0 1 1 0 0 16 0 13 0 197321919 1754984448 45514 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=26821/tid=26825] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26825/stat : 26825 (java) S 26819 26821 26775 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197321919 1754984448 45514 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26826] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26826/stat : 26826 (java) S 26819 26821 26775 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197321919 1754984448 45514 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26827] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26827/stat : 26827 (java) S 26819 26821 26775 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 197321923 1754984448 45514 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26828] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26828/stat : 26828 (java) S 26819 26821 26775 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 197321923 1754984448 45514 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26829] ppid=26819 vsize=1713852 CPUtime=0.82 /proc/26821/task/26829/stat : 26829 (java) S 26819 26821 26775 0 -1 64 1402 0 0 0 82 0 0 0 16 0 13 0 197321923 1754984448 45514 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26830] ppid=26819 vsize=1713852 CPUtime=1.09 /proc/26821/task/26830/stat : 26830 (java) S 26819 26821 26775 0 -1 64 3090 0 0 0 108 1 0 0 17 0 13 0 197321923 1754984448 45514 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26821/tid=26831] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26831/stat : 26831 (java) S 26819 26821 26775 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197321923 1754984448 45514 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26832] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26832/stat : 26832 (java) S 26819 26821 26775 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 197321923 1754984448 45514 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26821/tid=26834] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26834/stat : 26834 (java) S 26819 26821 26775 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 197322084 1754984448 45514 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 51.68 Current children cumulated vsize (Kb) 1713852 [startup+60.0368 s] /proc/loadavg: 1.00 0.97 0.92 2/76 26834 /proc/meminfo: memFree=1594328/2055920 swapFree=4182268/4192956 [pid=26821] ppid=26819 vsize=1713852 CPUtime=61.73 /proc/26821/stat : 26821 (java) R 26819 26821 26775 0 -1 0 61110 0 1 0 6142 31 0 0 25 0 13 0 197321905 1754984448 44765 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071573109 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26821/statm: 428463 44765 1910 14 0 415210 0 [pid=26821/tid=26822] ppid=26819 vsize=1713852 CPUtime=0.38 /proc/26821/task/26822/stat : 26822 (java) S 26819 26821 26775 0 -1 64 7071 0 0 0 36 2 0 0 16 0 13 0 197321916 1754984448 44765 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26823] ppid=26819 vsize=1713852 CPUtime=0.35 /proc/26821/task/26823/stat : 26823 (java) S 26819 26821 26775 0 -1 64 5916 0 0 0 33 2 0 0 16 0 13 0 197321916 1754984448 44765 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26821/tid=26824] ppid=26819 vsize=1713852 CPUtime=0.02 /proc/26821/task/26824/stat : 26824 (java) S 26819 26821 26775 0 -1 64 31 0 0 0 1 1 0 0 16 0 13 0 197321919 1754984448 44765 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=26821/tid=26825] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26825/stat : 26825 (java) S 26819 26821 26775 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197321919 1754984448 44765 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26826] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26826/stat : 26826 (java) S 26819 26821 26775 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197321919 1754984448 44765 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26827] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26827/stat : 26827 (java) S 26819 26821 26775 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 197321923 1754984448 44765 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=26821/tid=26825] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26825/stat : 26825 (java) S 26819 26821 26775 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197321919 1754984448 79843 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26826] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26826/stat : 26826 (java) S 26819 26821 26775 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197321919 1754984448 79843 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26827] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26827/stat : 26827 (java) S 26819 26821 26775 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 197321923 1754984448 79843 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26828] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26828/stat : 26828 (java) S 26819 26821 26775 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 197321923 1754984448 79843 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26829] ppid=26819 vsize=1713852 CPUtime=0.84 /proc/26821/task/26829/stat : 26829 (java) S 26819 26821 26775 0 -1 64 1403 0 0 0 84 0 0 0 17 0 13 0 197321923 1754984448 79843 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26830] ppid=26819 vsize=1713852 CPUtime=1.12 /proc/26821/task/26830/stat : 26830 (java) S 26819 26821 26775 0 -1 64 3090 0 0 0 111 1 0 0 17 0 13 0 197321923 1754984448 79843 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26821/tid=26831] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26831/stat : 26831 (java) S 26819 26821 26775 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197321923 1754984448 79843 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26832] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26832/stat : 26832 (java) S 26819 26821 26775 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 197321923 1754984448 79843 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26821/tid=26834] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26834/stat : 26834 (java) S 26819 26821 26775 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 197322084 1754984448 79843 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1796.36 Current children cumulated vsize (Kb) 1713852 [startup+1784.3 s] /proc/loadavg: 1.07 1.00 0.93 2/76 27029 /proc/meminfo: memFree=1452696/2055920 swapFree=4182268/4192956 [pid=26821] ppid=26819 vsize=1713852 CPUtime=1797.38 /proc/26821/stat : 26821 (java) R 26819 26821 26775 0 -1 0 133132 0 1 0 179556 182 0 0 23 0 13 0 197321905 1754984448 79829 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071582898 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26821/statm: 428463 79829 1910 14 0 415210 0 [pid=26821/tid=26822] ppid=26819 vsize=1713852 CPUtime=12.87 /proc/26821/task/26822/stat : 26822 (java) S 26819 26821 26775 0 -1 64 23712 0 0 0 1240 47 0 0 16 0 13 0 197321916 1754984448 79829 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26821/tid=26823] ppid=26819 vsize=1713852 CPUtime=12.73 /proc/26821/task/26823/stat : 26823 (java) S 26819 26821 26775 0 -1 64 20681 0 0 0 1237 36 0 0 16 0 13 0 197321916 1754984448 79829 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26824] ppid=26819 vsize=1713852 CPUtime=0.84 /proc/26821/task/26824/stat : 26824 (java) S 26819 26821 26775 0 -1 64 197 0 0 0 47 37 0 0 16 0 13 0 197321919 1754984448 79829 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26825] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26825/stat : 26825 (java) S 26819 26821 26775 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197321919 1754984448 79829 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26826] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26826/stat : 26826 (java) S 26819 26821 26775 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197321919 1754984448 79829 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26827] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26827/stat : 26827 (java) S 26819 26821 26775 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 197321923 1754984448 79829 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26828] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26828/stat : 26828 (java) S 26819 26821 26775 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 197321923 1754984448 79829 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26829] ppid=26819 vsize=1713852 CPUtime=0.84 /proc/26821/task/26829/stat : 26829 (java) S 26819 26821 26775 0 -1 64 1403 0 0 0 84 0 0 0 17 0 13 0 197321923 1754984448 79829 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26830] ppid=26819 vsize=1713852 CPUtime=1.12 /proc/26821/task/26830/stat : 26830 (java) S 26819 26821 26775 0 -1 64 3090 0 0 0 111 1 0 0 17 0 13 0 197321923 1754984448 79829 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26821/tid=26831] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26831/stat : 26831 (java) S 26819 26821 26775 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197321923 1754984448 79829 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26832] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26832/stat : 26832 (java) S 26819 26821 26775 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 197321923 1754984448 79829 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26821/tid=26834] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26834/stat : 26834 (java) S 26819 26821 26775 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 197322084 1754984448 79829 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1797.38 Current children cumulated vsize (Kb) 1713852 [startup+1785.31 s] /proc/loadavg: 1.07 1.00 0.93 2/76 27029 /proc/meminfo: memFree=1452696/2055920 swapFree=4182268/4192956 [pid=26821] ppid=26819 vsize=1713852 CPUtime=1798.38 /proc/26821/stat : 26821 (java) R 26819 26821 26775 0 -1 0 133133 0 1 0 179656 182 0 0 25 0 13 0 197321905 1754984448 79829 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071436297 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26821/statm: 428463 79829 1910 14 0 415210 0 [pid=26821/tid=26822] ppid=26819 vsize=1713852 CPUtime=12.87 /proc/26821/task/26822/stat : 26822 (java) S 26819 26821 26775 0 -1 64 23712 0 0 0 1240 47 0 0 16 0 13 0 197321916 1754984448 79829 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26821/tid=26823] ppid=26819 vsize=1713852 CPUtime=12.74 /proc/26821/task/26823/stat : 26823 (java) S 26819 26821 26775 0 -1 64 20681 0 0 0 1238 36 0 0 16 0 13 0 197321916 1754984448 79829 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26824] ppid=26819 vsize=1713852 CPUtime=0.85 /proc/26821/task/26824/stat : 26824 (java) S 26819 26821 26775 0 -1 64 197 0 0 0 48 37 0 0 16 0 13 0 197321919 1754984448 79829 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26825] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26825/stat : 26825 (java) S 26819 26821 26775 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197321919 1754984448 79829 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26826] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26826/stat : 26826 (java) S 26819 26821 26775 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197321919 1754984448 79829 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26827] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26827/stat : 26827 (java) S 26819 26821 26775 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 197321923 1754984448 79829 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26828] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26828/stat : 26828 (java) S 26819 26821 26775 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 197321923 1754984448 79829 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26829] ppid=26819 vsize=1713852 CPUtime=0.84 /proc/26821/task/26829/stat : 26829 (java) S 26819 26821 26775 0 -1 64 1403 0 0 0 84 0 0 0 17 0 13 0 197321923 1754984448 79829 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26830] ppid=26819 vsize=1713852 CPUtime=1.12 /proc/26821/task/26830/stat : 26830 (java) S 26819 26821 26775 0 -1 64 3090 0 0 0 111 1 0 0 17 0 13 0 197321923 1754984448 79829 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26821/tid=26831] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26831/stat : 26831 (java) S 26819 26821 26775 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197321923 1754984448 79829 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26832] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26832/stat : 26832 (java) S 26819 26821 26775 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 197321923 1754984448 79829 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26821/tid=26834] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26834/stat : 26834 (java) S 26819 26821 26775 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 197322084 1754984448 79829 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1798.38 Current children cumulated vsize (Kb) 1713852 [startup+1786.32 s] /proc/loadavg: 1.07 1.00 0.93 2/76 27029 /proc/meminfo: memFree=1452952/2055920 swapFree=4182268/4192956 [pid=26821] ppid=26819 vsize=1713852 CPUtime=1799.4 /proc/26821/stat : 26821 (java) R 26819 26821 26775 0 -1 0 133142 0 1 0 179758 182 0 0 20 0 13 0 197321905 1754984448 79772 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071429660 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26821/statm: 428463 79772 1910 14 0 415210 0 [pid=26821/tid=26822] ppid=26819 vsize=1713852 CPUtime=12.88 /proc/26821/task/26822/stat : 26822 (java) S 26819 26821 26775 0 -1 64 23715 0 0 0 1241 47 0 0 16 0 13 0 197321916 1754984448 79772 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26821/tid=26823] ppid=26819 vsize=1713852 CPUtime=12.75 /proc/26821/task/26823/stat : 26823 (java) S 26819 26821 26775 0 -1 64 20685 0 0 0 1239 36 0 0 16 0 13 0 197321916 1754984448 79772 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26824] ppid=26819 vsize=1713852 CPUtime=0.85 /proc/26821/task/26824/stat : 26824 (java) S 26819 26821 26775 0 -1 64 197 0 0 0 48 37 0 0 15 0 13 0 197321919 1754984448 79772 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26825] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26825/stat : 26825 (java) S 26819 26821 26775 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197321919 1754984448 79772 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26826] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26826/stat : 26826 (java) S 26819 26821 26775 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197321919 1754984448 79772 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26827] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26827/stat : 26827 (java) S 26819 26821 26775 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 197321923 1754984448 79772 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26828] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26828/stat : 26828 (java) S 26819 26821 26775 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 197321923 1754984448 79772 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26829] ppid=26819 vsize=1713852 CPUtime=0.84 /proc/26821/task/26829/stat : 26829 (java) S 26819 26821 26775 0 -1 64 1403 0 0 0 84 0 0 0 17 0 13 0 197321923 1754984448 79772 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26830] ppid=26819 vsize=1713852 CPUtime=1.12 /proc/26821/task/26830/stat : 26830 (java) S 26819 26821 26775 0 -1 64 3090 0 0 0 111 1 0 0 17 0 13 0 197321923 1754984448 79772 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26821/tid=26831] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26831/stat : 26831 (java) S 26819 26821 26775 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197321923 1754984448 79772 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26832] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26832/stat : 26832 (java) S 26819 26821 26775 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 197321923 1754984448 79772 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26821/tid=26834] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26834/stat : 26834 (java) S 26819 26821 26775 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 197322084 1754984448 79772 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1799.4 Current children cumulated vsize (Kb) 1713852 [startup+1787.32 s] /proc/loadavg: 1.07 1.00 0.93 2/76 27029 /proc/meminfo: memFree=1453144/2055920 swapFree=4182268/4192956 [pid=26821] ppid=26819 vsize=1713852 CPUtime=1800.41 /proc/26821/stat : 26821 (java) R 26819 26821 26775 0 -1 0 133149 0 1 0 179859 182 0 0 23 0 13 0 197321905 1754984448 79729 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071584692 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26821/statm: 428463 79729 1910 14 0 415210 0 [pid=26821/tid=26822] ppid=26819 vsize=1713852 CPUtime=12.89 /proc/26821/task/26822/stat : 26822 (java) S 26819 26821 26775 0 -1 64 23716 0 0 0 1242 47 0 0 16 0 13 0 197321916 1754984448 79729 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26821/tid=26823] ppid=26819 vsize=1713852 CPUtime=12.75 /proc/26821/task/26823/stat : 26823 (java) S 26819 26821 26775 0 -1 64 20689 0 0 0 1239 36 0 0 16 0 13 0 197321916 1754984448 79729 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26824] ppid=26819 vsize=1713852 CPUtime=0.85 /proc/26821/task/26824/stat : 26824 (java) S 26819 26821 26775 0 -1 64 197 0 0 0 48 37 0 0 16 0 13 0 197321919 1754984448 79729 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26825] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26825/stat : 26825 (java) S 26819 26821 26775 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197321919 1754984448 79729 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26826] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26826/stat : 26826 (java) S 26819 26821 26775 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197321919 1754984448 79729 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26827] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26827/stat : 26827 (java) S 26819 26821 26775 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 197321923 1754984448 79729 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26828] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26828/stat : 26828 (java) S 26819 26821 26775 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 197321923 1754984448 79729 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26829] ppid=26819 vsize=1713852 CPUtime=0.84 /proc/26821/task/26829/stat : 26829 (java) S 26819 26821 26775 0 -1 64 1403 0 0 0 84 0 0 0 17 0 13 0 197321923 1754984448 79729 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26830] ppid=26819 vsize=1713852 CPUtime=1.12 /proc/26821/task/26830/stat : 26830 (java) S 26819 26821 26775 0 -1 64 3090 0 0 0 111 1 0 0 17 0 13 0 197321923 1754984448 79729 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26821/tid=26831] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26831/stat : 26831 (java) S 26819 26821 26775 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197321923 1754984448 79729 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26832] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26832/stat : 26832 (java) S 26819 26821 26775 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 197321923 1754984448 79729 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26821/tid=26834] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26834/stat : 26834 (java) S 26819 26821 26775 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 197322084 1754984448 79729 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.41 Current children cumulated vsize (Kb) 1713852 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1787.33 s] /proc/loadavg: 1.07 1.00 0.93 2/76 27029 /proc/meminfo: memFree=1453144/2055920 swapFree=4182268/4192956 [pid=26821] ppid=26819 vsize=1713852 CPUtime=1800.42 /proc/26821/stat : 26821 (java) R 26819 26821 26775 0 -1 0 133149 0 1 0 179860 182 0 0 23 0 13 0 197321905 1754984448 79729 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071429623 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26821/statm: 428463 79729 1910 14 0 415210 0 [pid=26821/tid=26822] ppid=26819 vsize=1713852 CPUtime=12.89 /proc/26821/task/26822/stat : 26822 (java) S 26819 26821 26775 0 -1 64 23716 0 0 0 1242 47 0 0 16 0 13 0 197321916 1754984448 79729 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26821/tid=26823] ppid=26819 vsize=1713852 CPUtime=12.75 /proc/26821/task/26823/stat : 26823 (java) S 26819 26821 26775 0 -1 64 20689 0 0 0 1239 36 0 0 16 0 13 0 197321916 1754984448 79729 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26824] ppid=26819 vsize=1713852 CPUtime=0.85 /proc/26821/task/26824/stat : 26824 (java) S 26819 26821 26775 0 -1 64 197 0 0 0 48 37 0 0 16 0 13 0 197321919 1754984448 79729 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26825] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26825/stat : 26825 (java) S 26819 26821 26775 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197321919 1754984448 79729 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26826] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26826/stat : 26826 (java) S 26819 26821 26775 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197321919 1754984448 79729 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26827] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26827/stat : 26827 (java) S 26819 26821 26775 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 197321923 1754984448 79729 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26828] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26828/stat : 26828 (java) S 26819 26821 26775 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 197321923 1754984448 79729 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26829] ppid=26819 vsize=1713852 CPUtime=0.84 /proc/26821/task/26829/stat : 26829 (java) S 26819 26821 26775 0 -1 64 1403 0 0 0 84 0 0 0 17 0 13 0 197321923 1754984448 79729 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26830] ppid=26819 vsize=1713852 CPUtime=1.12 /proc/26821/task/26830/stat : 26830 (java) S 26819 26821 26775 0 -1 64 3090 0 0 0 111 1 0 0 17 0 13 0 197321923 1754984448 79729 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26821/tid=26831] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26831/stat : 26831 (java) S 26819 26821 26775 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197321923 1754984448 79729 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26821/tid=26832] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26832/stat : 26832 (java) S 26819 26821 26775 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 197321923 1754984448 79729 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26821/tid=26834] ppid=26819 vsize=1713852 CPUtime=0 /proc/26821/task/26834/stat : 26834 (java) S 26819 26821 26775 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 197322084 1754984448 79729 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.42 Current children cumulated vsize (Kb) 1713852 Sending SIGTERM to -26821 Sleeping 2 seconds Child status: 143 Real time (s): 1787.5 CPU time (s): 1800.71 CPU user time (s): 1798.83 CPU system time (s): 1.88271 CPU usage (%): 100.739 Max. virtual memory (cumulated for all children) (Kb): 1713852
Begin job on node72 on Sat Jun 3 06:36:15 UTC 2006 FILE ID= 44777-1149316575 PBS_JOBID= 308381 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mkc.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node72/44777-1149316575/instance-44777-1149316575.opb 566582969 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node72/watcher-44777-1149316575 -o ROOT/results/node72/solver-44777-1149316575 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node72/44777-1149316575/instance-44777-1149316575.opb 566582969 MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213 MD5SUM BENCH= eae2e8a732d92a062f083ccb58900b63 RANDOM SEED= 566582969 /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.227 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.227 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: 1766840 kB Buffers: 25840 kB Cached: 190252 kB SwapCached: 2460 kB Active: 23144 kB Inactive: 201748 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1766840 kB SwapTotal: 4192956 kB SwapFree: 4182268 kB Dirty: 164 kB Writeback: 0 kB Mapped: 15620 kB Slab: 50220 kB Committed_AS: 288368 kB PageTables: 1412 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node72 on Sat Jun 3 07:06:03 UTC 2006