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