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