Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 Heuristics | SAT (TO) | 0 | 1800.45 | 1796.54 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-sc105.opb |
MD5SUM | 9af0146fd6df1c22fb98014c5db68dfb |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -2 |
Best CPU time to get the best result obtained on this benchmark | 1782.73 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -2 |
Optimality of the best value was proved | NO |
Number of variables | 3090 |
Total number of constraints | 104 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 104 |
Minimum length of a constraint | 60 |
Maximum length of a constraint | 120 |
Number of terms in the objective function | 30 |
Biggest coefficient in the objective function | 262145 |
Number of bits for the biggest coefficient in the objective function | 19 |
Sum of the numbers in the objective function | 524317 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 524370 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.14 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@1df073d 0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1546e25 0.20 c org.sat4j.minisat.learning.MiniSATLearning@b66cc 0.20 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.20 c VSIDS like heuristics from MiniSAT using a heap 0.20 c No reason simplification 0.20 c --- End Solver configuration --- 0.20 c solving ROOT/tmp/node73/42537-1149340414/instance-42537-1149340414.opb 0.20 c reading problem ... 0.79 c ... done. Time 0.59 ms. 0.79 c #vars 3090 0.79 c #constraints 149 2.73 c SATISFIABLE 2.73 c OPTIMIZING... 2.74 c Got one! Ellapsed CPU time (in seconds):2.536 2.75 o 0 1796.39 c starts : 9 1796.39 c conflicts : 2516 1796.39 c decisions : 65996 1796.39 c propagations : 223571 1796.39 c inspects : 5733715 1796.39 c learnt literals : 0 1796.39 c learnt binary clauses : 0 1796.39 c learnt ternary clauses : 0 1796.39 c learnt clauses : 2515 1796.39 c root simplifications : 0 1796.39 c removed literals (reason simplification) : 0 1796.39 c reason swapping (by a shorter reason) : 0 1796.39 c Calls to reduceDB : 0 1796.39 c speed (decisions/second) : 36.79463613195802 1796.39 c non guided choices 983 1796.39 s SATISFIABLE 1796.44 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 1796.44 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 -x55 1796.44 v -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 -x81 1796.44 v -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 1796.44 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 1796.44 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 1796.44 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 1796.44 v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1796.44 v -x190 -x191 -x192 -x193 x194 x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 1796.44 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 1796.44 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 1796.44 v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 x271 -x272 x273 1796.44 v x274 x275 x276 x277 x278 -x279 -x280 x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 1796.44 v -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 1796.44 v -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 1796.44 v -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 1796.44 v -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 x374 -x375 x376 -x377 -x378 -x379 1796.44 v -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 1796.44 v -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 1796.44 v -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 1796.44 v -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 1796.44 v -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 1796.44 v -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 1796.44 v -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 x519 -x520 -x521 -x522 x523 x524 x525 x526 -x527 1796.44 v -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 1796.44 v -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 1796.44 v -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 1796.44 v -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 x601 x602 x603 x604 x605 x606 x607 x608 x609 x610 x611 x612 x613 1796.44 v x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 1796.44 v -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 1796.44 v -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 1796.44 v -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 x691 x692 x693 x694 x695 x696 x697 x698 1796.44 v x699 x700 x701 x702 x703 x704 x705 x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 1796.44 v -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 1796.44 v -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 1796.44 v -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 1796.44 v -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 1796.44 v -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 1796.44 v -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 1796.44 v -x847 -x848 -x849 -x850 -x851 -x852 x853 -x854 x855 -x856 x857 x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 1796.44 v -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 1796.44 v -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 1796.44 v -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 1796.44 v x931 x932 x933 x934 x935 x936 x937 x938 x939 x940 x941 x942 x943 -x944 x945 -x946 x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 1796.44 v -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 1796.44 v -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 1796.44 v -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 1796.44 v -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 x1027 -x1028 -x1029 -x1030 -x1031 1796.44 v x1032 x1033 -x1034 -x1035 -x1036 -x1037 x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 1796.44 v -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 1796.44 v -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 1796.44 v -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 1796.44 v -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 1796.44 v -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 1796.44 v -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 1796.44 v -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 1796.44 v -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 x1175 x1176 x1177 x1178 -x1179 -x1180 -x1181 -x1182 x1183 -x1184 x1185 -x1186 1796.44 v x1187 -x1188 x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 1796.44 v -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 1796.44 v -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 1796.44 v -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 1796.44 v -x1256 -x1257 -x1258 -x1259 -x1260 x1261 x1262 x1263 x1264 x1265 x1266 x1267 x1268 x1269 x1270 x1271 x1272 x1273 x1274 x1275 1796.44 v x1276 x1277 x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 1796.44 v -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 1796.44 v -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 1796.44 v -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 1796.44 v -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 x1351 x1352 x1353 x1354 x1355 x1356 x1357 x1358 x1359 x1360 x1361 x1362 x1363 1796.44 v x1364 x1365 x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 1796.44 v -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 1796.44 v -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 1796.44 v -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 1796.44 v -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 1796.44 v -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 1796.44 v -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 1796.44 v -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 1796.44 v -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 1796.44 v -x1518 -x1519 x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 1796.44 v -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 1796.44 v -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 1796.44 v -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 1796.44 v -x1586 -x1587 -x1588 -x1589 -x1590 x1591 x1592 x1593 x1594 x1595 x1596 x1597 x1598 x1599 x1600 x1601 x1602 x1603 -x1604 1796.44 v x1605 -x1606 -x1607 x1608 x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 1796.44 v -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 1796.44 v -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 1796.44 v -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 1796.44 v -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 1796.44 v -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 1796.44 v -x1708 -x1709 -x1710 x1711 x1712 -x1713 x1714 x1715 x1716 x1717 x1718 x1719 -x1720 x1721 x1722 x1723 -x1724 x1725 x1726 1796.44 v -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 1796.44 v -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 1796.44 v -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 1796.44 v -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 1796.44 v -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 1796.44 v -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 1796.44 v -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 1796.44 v -x1846 -x1847 -x1848 -x1849 x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 x1862 x1863 1796.44 v x1864 x1865 x1866 -x1867 x1868 -x1869 -x1870 x1871 x1872 x1873 x1874 x1875 x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 1796.44 v -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 1796.44 v -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 1796.44 v -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 1796.44 v -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 1796.44 v -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 1796.44 v -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 1796.44 v -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 1796.44 v -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 1796.44 v -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 1796.44 v -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 1796.44 v -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 1796.44 v -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 1796.44 v -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 1796.44 v -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 1796.44 v -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 1796.44 v -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 1796.44 v -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 x2161 x2162 x2163 x2164 x2165 x2166 x2167 x2168 x2169 x2170 x2171 x2172 -x2173 1796.44 v -x2174 x2175 x2176 -x2177 x2178 x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 x2191 1796.44 v x2192 -x2193 x2194 x2195 x2196 x2197 x2198 x2199 x2200 x2201 x2202 x2203 x2204 -x2205 x2206 -x2207 -x2208 -x2209 -x2210 1796.44 v -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 1796.44 v -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 1796.44 v -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 1796.44 v -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 x2268 x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 1796.44 v -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 1796.44 v -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 1796.44 v -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 1796.44 v -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 x2346 -x2347 1796.44 v -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 x2357 x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 1796.44 v -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 1796.44 v -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 1796.44 v -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 1796.44 v -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 1796.44 v -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 1796.44 v -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 1796.44 v -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 1796.44 v -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 x2491 -x2492 x2493 x2494 x2495 x2496 x2497 x2498 x2499 x2500 x2501 x2502 x2503 1796.44 v x2504 x2505 x2506 x2507 -x2508 -x2509 x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 1796.44 v x2522 -x2523 -x2524 -x2525 -x2526 -x2527 x2528 -x2529 -x2530 -x2531 x2532 x2533 x2534 x2535 -x2536 x2537 -x2538 -x2539 1796.44 v -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 1796.44 v -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 1796.44 v -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 1796.44 v -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 1796.44 v -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 1796.44 v -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 1796.44 v -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 1796.44 v -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 x2671 x2672 -x2673 -x2674 -x2675 x2676 1796.44 v -x2677 x2678 x2679 -x2680 x2681 x2682 -x2683 x2684 x2685 x2686 x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 1796.44 v -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 1796.44 v -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 1796.44 v -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 1796.44 v -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 1796.44 v -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 1796.44 v -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 1796.44 v -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 1796.44 v -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 1796.44 v -x2832 -x2833 x2834 -x2835 x2836 x2837 -x2838 x2839 x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 1796.44 v -x2850 x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 x2864 -x2865 x2866 x2867 1796.44 v -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 1796.44 v -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 1796.44 v -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 1796.44 v -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 1796.44 v -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 1796.44 v -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 1796.44 v -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 1796.44 v -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 1796.44 v -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 1796.44 v -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 1796.44 v -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 1796.44 v -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 1796.44 v -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 1796.44 v -x3089 -x3090 1796.44 c objective function=0 1796.44 c Total wall clock time (ms): 1796.246
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/node73/watcher-42537-1149340414 -o ROOT/results/node73/solver-42537-1149340414 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node73/42537-1149340414/instance-42537-1149340414.opb 327421669 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.97 3/64 25463 /proc/meminfo: memFree=1766224/2055920 swapFree=4182212/4192956 [pid=25463] ppid=25461 vsize=0 CPUtime=0 /proc/25463/stat : 25463 (java) R 25461 25463 25417 0 -1 0 178 0 0 0 0 0 0 0 18 0 1 0 199706193 0 0 18446744073709551615 0 0 0 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/25463/statm: 41 3 0 14 0 1 0 [startup+10.0023 s] /proc/loadavg: 1.07 0.99 0.98 2/76 25476 /proc/meminfo: memFree=1585920/2055920 swapFree=4182212/4192956 [pid=25463] ppid=25461 vsize=1722224 CPUtime=11.8 /proc/25463/stat : 25463 (java) R 25461 25463 25417 0 -1 0 54159 0 1 0 1156 24 0 0 25 0 13 0 199706193 1763557376 46890 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071481090 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25463/statm: 430556 46891 1910 14 0 417303 0 [pid=25463/tid=25464] ppid=25461 vsize=1722224 CPUtime=0.14 /proc/25463/task/25464/stat : 25464 (java) S 25461 25463 25417 0 -1 64 4071 0 0 0 13 1 0 0 16 0 13 0 199706197 1763557376 46894 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25465] ppid=25461 vsize=1722224 CPUtime=0.15 /proc/25463/task/25465/stat : 25465 (java) S 25461 25463 25417 0 -1 64 3812 0 0 0 13 2 0 0 16 0 13 0 199706197 1763557376 46895 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25463/tid=25466] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25466/stat : 25466 (java) S 25461 25463 25417 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 199706199 1763557376 46896 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25467] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25467/stat : 25467 (java) S 25461 25463 25417 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 199706200 1763557376 46897 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25468] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25468/stat : 25468 (java) S 25461 25463 25417 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 199706200 1763557376 46898 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25469] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25469/stat : 25469 (java) S 25461 25463 25417 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 199706203 1763557376 46899 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25470] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25470/stat : 25470 (java) S 25461 25463 25417 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 199706203 1763557376 46901 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25463/tid=25471] ppid=25461 vsize=1722224 CPUtime=1.24 /proc/25463/task/25471/stat : 25471 (java) S 25461 25463 25417 0 -1 64 4114 0 0 0 123 1 0 0 16 0 13 0 199706203 1763557376 46902 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25472] ppid=25461 vsize=1722224 CPUtime=1.2 /proc/25463/task/25472/stat : 25472 (java) S 25461 25463 25417 0 -1 64 4943 0 0 0 118 2 0 0 16 0 13 0 199706203 1763557376 46903 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25463/tid=25473] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25473/stat : 25473 (java) S 25461 25463 25417 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 199706203 1763557376 46904 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25474] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25474/stat : 25474 (java) S 25461 25463 25417 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 199706203 1763557376 46904 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25476] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25476/stat : 25476 (java) S 25461 25463 25417 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 199706470 1763557376 46905 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 11.8 Current children cumulated vsize (Kb) 1722224 [startup+20.0092 s] /proc/loadavg: 1.06 0.99 0.98 2/76 25476 /proc/meminfo: memFree=1563456/2055920 swapFree=4182212/4192956 [pid=25463] ppid=25461 vsize=1722224 CPUtime=21.88 /proc/25463/stat : 25463 (java) R 25461 25463 25417 0 -1 0 59956 0 1 0 2162 26 0 0 25 0 13 0 199706193 1763557376 52413 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071481174 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25463/statm: 430556 52413 1910 14 0 417303 0 [pid=25463/tid=25464] ppid=25461 vsize=1722224 CPUtime=0.22 /proc/25463/task/25464/stat : 25464 (java) S 25461 25463 25417 0 -1 64 6219 0 0 0 20 2 0 0 16 0 13 0 199706197 1763557376 52413 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25465] ppid=25461 vsize=1722224 CPUtime=0.22 /proc/25463/task/25465/stat : 25465 (java) S 25461 25463 25417 0 -1 64 5675 0 0 0 19 3 0 0 16 0 13 0 199706197 1763557376 52413 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25463/tid=25466] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25466/stat : 25466 (java) S 25461 25463 25417 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 199706199 1763557376 52413 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25467] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25467/stat : 25467 (java) S 25461 25463 25417 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 199706200 1763557376 52413 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25468] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25468/stat : 25468 (java) S 25461 25463 25417 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 199706200 1763557376 52413 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25469] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25469/stat : 25469 (java) S 25461 25463 25417 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 199706203 1763557376 52413 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25470] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25470/stat : 25470 (java) S 25461 25463 25417 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 199706203 1763557376 52413 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25463/tid=25471] ppid=25461 vsize=1722224 CPUtime=1.24 /proc/25463/task/25471/stat : 25471 (java) S 25461 25463 25417 0 -1 64 4114 0 0 0 123 1 0 0 16 0 13 0 199706203 1763557376 52413 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25472] ppid=25461 vsize=1722224 CPUtime=1.2 /proc/25463/task/25472/stat : 25472 (java) S 25461 25463 25417 0 -1 64 4943 0 0 0 118 2 0 0 16 0 13 0 199706203 1763557376 52413 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25463/tid=25473] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25473/stat : 25473 (java) S 25461 25463 25417 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 199706203 1763557376 52413 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25474] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25474/stat : 25474 (java) S 25461 25463 25417 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 199706203 1763557376 52413 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25476] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25476/stat : 25476 (java) S 25461 25463 25417 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 199706470 1763557376 52413 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 21.88 Current children cumulated vsize (Kb) 1722224 [startup+30.0163 s] /proc/loadavg: 1.05 0.99 0.98 2/76 25476 /proc/meminfo: memFree=1567360/2055920 swapFree=4182212/4192956 [pid=25463] ppid=25461 vsize=1722224 CPUtime=31.94 /proc/25463/stat : 25463 (java) R 25461 25463 25417 0 -1 0 62293 0 1 0 3167 27 0 0 21 0 13 0 199706193 1763557376 51455 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071481286 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25463/statm: 430556 51455 1910 14 0 417303 0 [pid=25463/tid=25464] ppid=25461 vsize=1722224 CPUtime=0.29 /proc/25463/task/25464/stat : 25464 (java) S 25461 25463 25417 0 -1 64 7622 0 0 0 26 3 0 0 16 0 13 0 199706197 1763557376 51455 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25463/tid=25465] ppid=25461 vsize=1722224 CPUtime=0.28 /proc/25463/task/25465/stat : 25465 (java) S 25461 25463 25417 0 -1 64 6596 0 0 0 25 3 0 0 16 0 13 0 199706197 1763557376 51455 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25466] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25466/stat : 25466 (java) S 25461 25463 25417 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 199706199 1763557376 51455 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=25463/tid=25467] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25467/stat : 25467 (java) S 25461 25463 25417 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 199706200 1763557376 51455 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25468] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25468/stat : 25468 (java) S 25461 25463 25417 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 199706200 1763557376 51455 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25469] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25469/stat : 25469 (java) S 25461 25463 25417 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 199706203 1763557376 51455 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25470] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25470/stat : 25470 (java) S 25461 25463 25417 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 199706203 1763557376 51455 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25463/tid=25471] ppid=25461 vsize=1722224 CPUtime=1.24 /proc/25463/task/25471/stat : 25471 (java) S 25461 25463 25417 0 -1 64 4114 0 0 0 123 1 0 0 16 0 13 0 199706203 1763557376 51455 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25472] ppid=25461 vsize=1722224 CPUtime=1.2 /proc/25463/task/25472/stat : 25472 (java) S 25461 25463 25417 0 -1 64 4943 0 0 0 118 2 0 0 16 0 13 0 199706203 1763557376 51455 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25463/tid=25473] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25473/stat : 25473 (java) S 25461 25463 25417 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 199706203 1763557376 51455 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25474] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25474/stat : 25474 (java) S 25461 25463 25417 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 199706203 1763557376 51455 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25476] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25476/stat : 25476 (java) S 25461 25463 25417 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 199706470 1763557376 51455 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 31.94 Current children cumulated vsize (Kb) 1722224 [startup+40.0232 s] /proc/loadavg: 1.04 0.99 0.98 2/76 25476 /proc/meminfo: memFree=1572608/2055920 swapFree=4182212/4192956 [pid=25463] ppid=25461 vsize=1722224 CPUtime=41.98 /proc/25463/stat : 25463 (java) R 25461 25463 25417 0 -1 0 63730 0 1 0 4169 29 0 0 25 0 13 0 199706193 1763557376 50129 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071746287 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25463/statm: 430556 50129 1910 14 0 417303 0 [pid=25463/tid=25464] ppid=25461 vsize=1722224 CPUtime=0.33 /proc/25463/task/25464/stat : 25464 (java) S 25461 25463 25417 0 -1 64 8177 0 0 0 30 3 0 0 16 0 13 0 199706197 1763557376 50129 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25463/tid=25465] ppid=25461 vsize=1722224 CPUtime=0.34 /proc/25463/task/25465/stat : 25465 (java) S 25461 25463 25417 0 -1 64 7467 0 0 0 30 4 0 0 16 0 13 0 199706197 1763557376 50129 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25466] ppid=25461 vsize=1722224 CPUtime=0.01 /proc/25463/task/25466/stat : 25466 (java) S 25461 25463 25417 0 -1 64 31 0 0 0 0 1 0 0 17 0 13 0 199706199 1763557376 50129 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=25463/tid=25467] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25467/stat : 25467 (java) S 25461 25463 25417 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 199706200 1763557376 50129 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25468] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25468/stat : 25468 (java) S 25461 25463 25417 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 199706200 1763557376 50129 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25469] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25469/stat : 25469 (java) S 25461 25463 25417 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 199706203 1763557376 50129 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25470] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25470/stat : 25470 (java) S 25461 25463 25417 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 199706203 1763557376 50129 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25463/tid=25471] ppid=25461 vsize=1722224 CPUtime=1.24 /proc/25463/task/25471/stat : 25471 (java) S 25461 25463 25417 0 -1 64 4114 0 0 0 123 1 0 0 16 0 13 0 199706203 1763557376 50129 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25472] ppid=25461 vsize=1722224 CPUtime=1.2 /proc/25463/task/25472/stat : 25472 (java) S 25461 25463 25417 0 -1 64 4943 0 0 0 118 2 0 0 16 0 13 0 199706203 1763557376 50129 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25463/tid=25473] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25473/stat : 25473 (java) S 25461 25463 25417 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 199706203 1763557376 50129 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25474] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25474/stat : 25474 (java) S 25461 25463 25417 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 199706203 1763557376 50129 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25476] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25476/stat : 25476 (java) S 25461 25463 25417 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 199706470 1763557376 50129 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 41.98 Current children cumulated vsize (Kb) 1722224 [startup+50.0302 s] /proc/loadavg: 1.04 0.99 0.98 2/76 25476 /proc/meminfo: memFree=1573056/2055920 swapFree=4182212/4192956 [pid=25463] ppid=25461 vsize=1722224 CPUtime=52.04 /proc/25463/stat : 25463 (java) R 25461 25463 25417 0 -1 0 66091 0 1 0 5174 30 0 0 25 0 13 0 199706193 1763557376 50027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071649670 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25463/statm: 430556 50027 1910 14 0 417303 0 [pid=25463/tid=25464] ppid=25461 vsize=1722224 CPUtime=0.38 /proc/25463/task/25464/stat : 25464 (java) S 25461 25463 25417 0 -1 64 9145 0 0 0 34 4 0 0 16 0 13 0 199706197 1763557376 50027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25463/tid=25465] ppid=25461 vsize=1722224 CPUtime=0.39 /proc/25463/task/25465/stat : 25465 (java) S 25461 25463 25417 0 -1 64 8847 0 0 0 34 5 0 0 16 0 13 0 199706197 1763557376 50027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25466] ppid=25461 vsize=1722224 CPUtime=0.01 /proc/25463/task/25466/stat : 25466 (java) S 25461 25463 25417 0 -1 64 31 0 0 0 0 1 0 0 16 0 13 0 199706199 1763557376 50027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25467] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25467/stat : 25467 (java) S 25461 25463 25417 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 199706200 1763557376 50027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25468] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25468/stat : 25468 (java) S 25461 25463 25417 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 199706200 1763557376 50027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25469] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25469/stat : 25469 (java) S 25461 25463 25417 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 199706203 1763557376 50027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25470] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25470/stat : 25470 (java) S 25461 25463 25417 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 199706203 1763557376 50027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25463/tid=25471] ppid=25461 vsize=1722224 CPUtime=1.24 /proc/25463/task/25471/stat : 25471 (java) S 25461 25463 25417 0 -1 64 4114 0 0 0 123 1 0 0 16 0 13 0 199706203 1763557376 50027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25472] ppid=25461 vsize=1722224 CPUtime=1.21 /proc/25463/task/25472/stat : 25472 (java) S 25461 25463 25417 0 -1 64 4943 0 0 0 119 2 0 0 17 0 13 0 199706203 1763557376 50027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25463/tid=25473] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25473/stat : 25473 (java) S 25461 25463 25417 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 199706203 1763557376 50027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25474] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25474/stat : 25474 (java) S 25461 25463 25417 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 199706203 1763557376 50027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25476] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25476/stat : 25476 (java) S 25461 25463 25417 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 199706470 1763557376 50027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 52.04 Current children cumulated vsize (Kb) 1722224 [startup+60.0381 s] /proc/loadavg: 1.03 0.99 0.98 2/76 25476 /proc/meminfo: memFree=1577472/2055920 swapFree=4182212/4192956 [pid=25463] ppid=25461 vsize=1722224 CPUtime=62.04 /proc/25463/stat : 25463 (java) R 25461 25463 25417 0 -1 0 66149 0 1 0 6174 30 0 0 21 0 13 0 199706193 1763557376 48919 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071654987 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25463/statm: 430556 48919 1910 14 0 417303 0 [pid=25463/tid=25464] ppid=25461 vsize=1722224 CPUtime=0.39 /proc/25463/task/25464/stat : 25464 (java) S 25461 25463 25417 0 -1 64 9180 0 0 0 35 4 0 0 16 0 13 0 199706197 1763557376 48919 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25465] ppid=25461 vsize=1722224 CPUtime=0.4 /proc/25463/task/25465/stat : 25465 (java) S 25461 25463 25417 0 -1 64 8863 0 0 0 35 5 0 0 16 0 13 0 199706197 1763557376 48919 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25466] ppid=25461 vsize=1722224 CPUtime=0.01 /proc/25463/task/25466/stat : 25466 (java) S 25461 25463 25417 0 -1 64 31 0 0 0 0 1 0 0 15 0 13 0 199706199 1763557376 48919 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25467] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25467/stat : 25467 (java) S 25461 25463 25417 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 199706200 1763557376 48919 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25468] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25468/stat : 25468 (java) S 25461 25463 25417 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 199706200 1763557376 48919 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25469] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25469/stat : 25469 (java) S 25461 25463 25417 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 199706203 1763557376 48919 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=25463/tid=25467] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25467/stat : 25467 (java) S 25461 25463 25417 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 199706200 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25468] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25468/stat : 25468 (java) S 25461 25463 25417 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 199706200 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25469] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25469/stat : 25469 (java) S 25461 25463 25417 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25470] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25470/stat : 25470 (java) S 25461 25463 25417 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25463/tid=25471] ppid=25461 vsize=1722224 CPUtime=1.26 /proc/25463/task/25471/stat : 25471 (java) S 25461 25463 25417 0 -1 64 4114 0 0 0 125 1 0 0 16 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25472] ppid=25461 vsize=1722224 CPUtime=1.21 /proc/25463/task/25472/stat : 25472 (java) S 25461 25463 25417 0 -1 64 4943 0 0 0 119 2 0 0 17 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25463/tid=25473] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25473/stat : 25473 (java) S 25461 25463 25417 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25474] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25474/stat : 25474 (java) S 25461 25463 25417 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25463/tid=25476] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25476/stat : 25476 (java) S 25461 25463 25417 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 199706470 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.2 Current children cumulated vsize (Kb) 1722224 [startup+1793.36 s] /proc/loadavg: 1.00 0.99 0.98 2/76 25478 /proc/meminfo: memFree=1306432/2055920 swapFree=4182212/4192956 [pid=25463] ppid=25461 vsize=1722224 CPUtime=1797.21 /proc/25463/stat : 25463 (java) R 25461 25463 25417 0 -1 0 236361 0 1 0 179593 128 0 0 25 0 13 0 199706193 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071649638 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25463/statm: 430556 116304 1910 14 0 417303 0 [pid=25463/tid=25464] ppid=25461 vsize=1722224 CPUtime=2.97 /proc/25463/task/25464/stat : 25464 (java) S 25461 25463 25417 0 -1 64 64754 0 0 0 265 32 0 0 16 0 13 0 199706197 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25465] ppid=25461 vsize=1722224 CPUtime=2.97 /proc/25463/task/25465/stat : 25465 (java) S 25461 25463 25417 0 -1 64 63216 0 0 0 264 33 0 0 16 0 13 0 199706197 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25463/tid=25466] ppid=25461 vsize=1722224 CPUtime=0.29 /proc/25463/task/25466/stat : 25466 (java) S 25461 25463 25417 0 -1 64 242 0 0 0 16 13 0 0 16 0 13 0 199706199 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=25463/tid=25467] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25467/stat : 25467 (java) S 25461 25463 25417 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 199706200 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25468] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25468/stat : 25468 (java) S 25461 25463 25417 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 199706200 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25469] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25469/stat : 25469 (java) S 25461 25463 25417 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25470] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25470/stat : 25470 (java) S 25461 25463 25417 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25463/tid=25471] ppid=25461 vsize=1722224 CPUtime=1.26 /proc/25463/task/25471/stat : 25471 (java) S 25461 25463 25417 0 -1 64 4114 0 0 0 125 1 0 0 16 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25472] ppid=25461 vsize=1722224 CPUtime=1.21 /proc/25463/task/25472/stat : 25472 (java) S 25461 25463 25417 0 -1 64 4943 0 0 0 119 2 0 0 17 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25463/tid=25473] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25473/stat : 25473 (java) S 25461 25463 25417 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25474] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25474/stat : 25474 (java) S 25461 25463 25417 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25463/tid=25476] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25476/stat : 25476 (java) S 25461 25463 25417 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 199706470 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.21 Current children cumulated vsize (Kb) 1722224 [startup+1794.37 s] /proc/loadavg: 1.00 0.99 0.98 2/76 25478 /proc/meminfo: memFree=1306432/2055920 swapFree=4182212/4192956 [pid=25463] ppid=25461 vsize=1722224 CPUtime=1798.21 /proc/25463/stat : 25463 (java) R 25461 25463 25417 0 -1 0 236361 0 1 0 179693 128 0 0 25 0 13 0 199706193 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071649670 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25463/statm: 430556 116304 1910 14 0 417303 0 [pid=25463/tid=25464] ppid=25461 vsize=1722224 CPUtime=2.97 /proc/25463/task/25464/stat : 25464 (java) S 25461 25463 25417 0 -1 64 64754 0 0 0 265 32 0 0 16 0 13 0 199706197 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25465] ppid=25461 vsize=1722224 CPUtime=2.97 /proc/25463/task/25465/stat : 25465 (java) S 25461 25463 25417 0 -1 64 63216 0 0 0 264 33 0 0 16 0 13 0 199706197 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25463/tid=25466] ppid=25461 vsize=1722224 CPUtime=0.29 /proc/25463/task/25466/stat : 25466 (java) S 25461 25463 25417 0 -1 64 242 0 0 0 16 13 0 0 16 0 13 0 199706199 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=25463/tid=25467] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25467/stat : 25467 (java) S 25461 25463 25417 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 199706200 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25468] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25468/stat : 25468 (java) S 25461 25463 25417 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 199706200 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25469] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25469/stat : 25469 (java) S 25461 25463 25417 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25470] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25470/stat : 25470 (java) S 25461 25463 25417 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25463/tid=25471] ppid=25461 vsize=1722224 CPUtime=1.26 /proc/25463/task/25471/stat : 25471 (java) S 25461 25463 25417 0 -1 64 4114 0 0 0 125 1 0 0 16 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25472] ppid=25461 vsize=1722224 CPUtime=1.21 /proc/25463/task/25472/stat : 25472 (java) S 25461 25463 25417 0 -1 64 4943 0 0 0 119 2 0 0 17 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25463/tid=25473] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25473/stat : 25473 (java) S 25461 25463 25417 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25474] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25474/stat : 25474 (java) S 25461 25463 25417 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25463/tid=25476] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25476/stat : 25476 (java) S 25461 25463 25417 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 199706470 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.21 Current children cumulated vsize (Kb) 1722224 [startup+1795.37 s] /proc/loadavg: 1.00 0.99 0.98 2/76 25478 /proc/meminfo: memFree=1306432/2055920 swapFree=4182212/4192956 [pid=25463] ppid=25461 vsize=1722224 CPUtime=1799.22 /proc/25463/stat : 25463 (java) R 25461 25463 25417 0 -1 0 236361 0 1 0 179794 128 0 0 25 0 13 0 199706193 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071649662 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25463/statm: 430556 116304 1910 14 0 417303 0 [pid=25463/tid=25464] ppid=25461 vsize=1722224 CPUtime=2.97 /proc/25463/task/25464/stat : 25464 (java) S 25461 25463 25417 0 -1 64 64754 0 0 0 265 32 0 0 16 0 13 0 199706197 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25465] ppid=25461 vsize=1722224 CPUtime=2.97 /proc/25463/task/25465/stat : 25465 (java) S 25461 25463 25417 0 -1 64 63216 0 0 0 264 33 0 0 16 0 13 0 199706197 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25463/tid=25466] ppid=25461 vsize=1722224 CPUtime=0.29 /proc/25463/task/25466/stat : 25466 (java) S 25461 25463 25417 0 -1 64 242 0 0 0 16 13 0 0 16 0 13 0 199706199 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=25463/tid=25467] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25467/stat : 25467 (java) S 25461 25463 25417 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 199706200 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25468] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25468/stat : 25468 (java) S 25461 25463 25417 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 199706200 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25469] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25469/stat : 25469 (java) S 25461 25463 25417 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25470] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25470/stat : 25470 (java) S 25461 25463 25417 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25463/tid=25471] ppid=25461 vsize=1722224 CPUtime=1.26 /proc/25463/task/25471/stat : 25471 (java) S 25461 25463 25417 0 -1 64 4114 0 0 0 125 1 0 0 16 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25472] ppid=25461 vsize=1722224 CPUtime=1.21 /proc/25463/task/25472/stat : 25472 (java) S 25461 25463 25417 0 -1 64 4943 0 0 0 119 2 0 0 17 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25463/tid=25473] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25473/stat : 25473 (java) S 25461 25463 25417 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25474] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25474/stat : 25474 (java) S 25461 25463 25417 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25463/tid=25476] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25476/stat : 25476 (java) S 25461 25463 25417 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 199706470 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.22 Current children cumulated vsize (Kb) 1722224 [startup+1796.38 s] /proc/loadavg: 1.00 0.99 0.98 2/76 25478 /proc/meminfo: memFree=1306432/2055920 swapFree=4182212/4192956 [pid=25463] ppid=25461 vsize=1722224 CPUtime=1800.23 /proc/25463/stat : 25463 (java) R 25461 25463 25417 0 -1 0 236361 0 1 0 179895 128 0 0 25 0 13 0 199706193 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071654818 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25463/statm: 430556 116304 1910 14 0 417303 0 [pid=25463/tid=25464] ppid=25461 vsize=1722224 CPUtime=2.97 /proc/25463/task/25464/stat : 25464 (java) S 25461 25463 25417 0 -1 64 64754 0 0 0 265 32 0 0 16 0 13 0 199706197 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25465] ppid=25461 vsize=1722224 CPUtime=2.97 /proc/25463/task/25465/stat : 25465 (java) S 25461 25463 25417 0 -1 64 63216 0 0 0 264 33 0 0 16 0 13 0 199706197 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25463/tid=25466] ppid=25461 vsize=1722224 CPUtime=0.29 /proc/25463/task/25466/stat : 25466 (java) S 25461 25463 25417 0 -1 64 242 0 0 0 16 13 0 0 16 0 13 0 199706199 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=25463/tid=25467] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25467/stat : 25467 (java) S 25461 25463 25417 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 199706200 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25468] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25468/stat : 25468 (java) S 25461 25463 25417 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 199706200 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25469] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25469/stat : 25469 (java) S 25461 25463 25417 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25470] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25470/stat : 25470 (java) S 25461 25463 25417 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25463/tid=25471] ppid=25461 vsize=1722224 CPUtime=1.26 /proc/25463/task/25471/stat : 25471 (java) S 25461 25463 25417 0 -1 64 4114 0 0 0 125 1 0 0 16 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25472] ppid=25461 vsize=1722224 CPUtime=1.21 /proc/25463/task/25472/stat : 25472 (java) S 25461 25463 25417 0 -1 64 4943 0 0 0 119 2 0 0 17 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25463/tid=25473] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25473/stat : 25473 (java) S 25461 25463 25417 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25474] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25474/stat : 25474 (java) S 25461 25463 25417 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25463/tid=25476] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25476/stat : 25476 (java) S 25461 25463 25417 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 199706470 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.23 Current children cumulated vsize (Kb) 1722224 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1796.39 s] /proc/loadavg: 1.00 0.99 0.98 2/76 25478 /proc/meminfo: memFree=1306432/2055920 swapFree=4182212/4192956 [pid=25463] ppid=25461 vsize=1722224 CPUtime=1800.23 /proc/25463/stat : 25463 (java) R 25461 25463 25417 0 -1 0 236361 0 1 0 179895 128 0 0 25 0 13 0 199706193 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071654835 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25463/statm: 430556 116304 1910 14 0 417303 0 [pid=25463/tid=25464] ppid=25461 vsize=1722224 CPUtime=2.97 /proc/25463/task/25464/stat : 25464 (java) S 25461 25463 25417 0 -1 64 64754 0 0 0 265 32 0 0 16 0 13 0 199706197 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25465] ppid=25461 vsize=1722224 CPUtime=2.97 /proc/25463/task/25465/stat : 25465 (java) S 25461 25463 25417 0 -1 64 63216 0 0 0 264 33 0 0 16 0 13 0 199706197 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25463/tid=25466] ppid=25461 vsize=1722224 CPUtime=0.29 /proc/25463/task/25466/stat : 25466 (java) S 25461 25463 25417 0 -1 64 242 0 0 0 16 13 0 0 16 0 13 0 199706199 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=25463/tid=25467] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25467/stat : 25467 (java) S 25461 25463 25417 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 199706200 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25468] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25468/stat : 25468 (java) S 25461 25463 25417 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 199706200 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25469] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25469/stat : 25469 (java) S 25461 25463 25417 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25470] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25470/stat : 25470 (java) S 25461 25463 25417 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25463/tid=25471] ppid=25461 vsize=1722224 CPUtime=1.26 /proc/25463/task/25471/stat : 25471 (java) S 25461 25463 25417 0 -1 64 4114 0 0 0 125 1 0 0 16 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25472] ppid=25461 vsize=1722224 CPUtime=1.21 /proc/25463/task/25472/stat : 25472 (java) S 25461 25463 25417 0 -1 64 4943 0 0 0 119 2 0 0 17 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25463/tid=25473] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25473/stat : 25473 (java) S 25461 25463 25417 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25463/tid=25474] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25474/stat : 25474 (java) S 25461 25463 25417 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25463/tid=25476] ppid=25461 vsize=1722224 CPUtime=0 /proc/25463/task/25476/stat : 25476 (java) S 25461 25463 25417 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 199706470 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.23 Current children cumulated vsize (Kb) 1722224 Sending SIGTERM to -25463 Sleeping 2 seconds Child status: 143 Real time (s): 1796.54 CPU time (s): 1800.45 CPU user time (s): 1799.09 CPU system time (s): 1.36279 CPU usage (%): 100.218 Max. virtual memory (cumulated for all children) (Kb): 1722224
Begin job on node73 on Sat Jun 3 13:13:34 UTC 2006 FILE ID= 42537-1149340414 PBS_JOBID= 310391 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-sc105.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node73/42537-1149340414/instance-42537-1149340414.opb 327421669 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node73/watcher-42537-1149340414 -o ROOT/results/node73/solver-42537-1149340414 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node73/42537-1149340414/instance-42537-1149340414.opb 327421669 MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70 MD5SUM BENCH= 9af0146fd6df1c22fb98014c5db68dfb RANDOM SEED= 327421669 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.261 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 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.261 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1766432 kB Buffers: 27008 kB Cached: 199328 kB SwapCached: 2348 kB Active: 38280 kB Inactive: 196708 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1766432 kB SwapTotal: 4192956 kB SwapFree: 4182212 kB Dirty: 180 kB Writeback: 0 kB Mapped: 15068 kB Slab: 40528 kB Committed_AS: 359424 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 node73 on Sat Jun 3 13:43:31 UTC 2006