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