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