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