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