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