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