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