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