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