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