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