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