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