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