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