Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 | SAT (TO) | -71 | 1800.26 | 1787.53 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-stocfor1.opb |
MD5SUM | f5fea9f9b3e2808f219e4e92af96aba2 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -71 |
Best CPU time to get the best result obtained on this benchmark | 1800.26 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -71 |
Optimality of the best value was proved | NO |
Number of variables | 3330 |
Total number of constraints | 117 |
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 | 117 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 240 |
Number of terms in the objective function | 810 |
Biggest coefficient in the objective function | 21201 |
Number of bits for the biggest coefficient in the objective function | 15 |
Sum of the numbers in the objective function | 524901 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 524901 |
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.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/node26/43968-1149340842/instance-43968-1149340842.opb 0.20 c reading problem ... 0.77 c ... done. Time 0.565 ms. 0.77 c #vars 3330 0.77 c #constraints 180 3.14 c SATISFIABLE 3.14 c OPTIMIZING... 3.14 c Got one! Ellapsed CPU time (in seconds):2.941 3.16 o 3553 12.75 c Got one! Ellapsed CPU time (in seconds):12.553 12.76 o -12 26.16 c Got one! Ellapsed CPU time (in seconds):25.961 26.17 o -23 555.37 c Got one! Ellapsed CPU time (in seconds):555.171 555.38 o -24 775.75 c Got one! Ellapsed CPU time (in seconds):775.545 775.75 o -71 1787.39 c starts : 22 1787.40 c conflicts : 3841 1787.40 c decisions : 138159 1787.40 c propagations : 574229 1787.40 c inspects : 14973707 1787.40 c learnt literals : 0 1787.40 c learnt binary clauses : 0 1787.40 c learnt ternary clauses : 0 1787.40 c learnt clauses : 3840 1787.40 c root simplifications : 0 1787.40 c removed literals (reason simplification) : 0 1787.40 c reason swapping (by a shorter reason) : 0 1787.40 c Calls to reduceDB : 0 1787.40 c speed (decisions/second) : 136.57014295684013 1787.40 c non guided choices 6611 1787.40 s SATISFIABLE 1787.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 -x29 -x30 -x31 1787.44 v -x32 -x33 x34 x35 -x36 -x37 x38 x39 -x40 x41 x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 1787.44 v -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 x68 -x69 -x70 x71 -x72 -x73 -x74 -x75 x76 x77 x78 -x79 x80 -x81 -x82 -x83 -x84 -x85 1787.44 v -x86 -x87 -x88 -x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 x97 -x98 -x99 x100 -x101 -x102 -x103 x104 x105 x106 -x107 -x108 -x109 x110 1787.44 v -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 1787.44 v -x132 x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 1787.44 v -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 1787.44 v -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 1787.44 v -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 1787.44 v -x216 -x217 -x218 -x219 -x220 -x221 x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 1787.44 v -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 1787.44 v -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 1787.44 v -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 1787.44 v -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 1787.44 v -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 1787.44 v -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 1787.44 v -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 1787.44 v -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 1787.44 v -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 1787.44 v -x426 -x427 x428 -x429 x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 1787.44 v -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 1787.44 v -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 1787.44 v -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 1787.44 v -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 1787.44 v -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 1787.44 v -x552 -x553 -x554 -x555 -x556 x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 1787.44 v -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 1787.44 v -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 1787.44 v -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 x631 -x632 x633 x634 -x635 1787.44 v -x636 -x637 -x638 x639 -x640 x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 1787.44 v -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 1787.44 v -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 1787.44 v -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 1787.44 v -x720 -x721 -x722 -x723 -x724 x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 1787.44 v -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 1787.44 v -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 1787.44 v -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 1787.44 v -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 1787.44 v -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 1787.44 v -x846 -x847 -x848 -x849 -x850 -x851 x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 1787.44 v -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 1787.44 v -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 1787.44 v -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 1787.44 v -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 1787.44 v -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 1787.44 v -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 1787.44 v -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 1787.44 v -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 1787.44 v -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 1787.44 v -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 x1055 -x1056 -x1057 -x1058 -x1059 -x1060 x1061 -x1062 1787.44 v -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 1787.44 v -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 x1090 -x1091 -x1092 x1093 x1094 -x1095 -x1096 -x1097 1787.44 v -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 1787.44 v -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 1787.44 v -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 1787.44 v -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 1787.44 v -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 1787.44 v -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 1787.44 v -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 1787.44 v -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 1787.44 v -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 1787.44 v -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 1787.44 v -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 1787.44 v -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 x1292 x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 1787.44 v -x1303 x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 1787.44 v -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 x1334 -x1335 x1336 -x1337 1787.44 v -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 x1351 -x1352 -x1353 -x1354 1787.44 v -x1355 x1356 -x1357 -x1358 x1359 -x1360 x1361 -x1362 x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 1787.44 v -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 1787.44 v -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 1787.44 v -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 1787.44 v -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 1787.44 v -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 1787.44 v -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 x1472 x1473 -x1474 x1475 1787.44 v -x1476 -x1477 x1478 -x1479 -x1480 x1481 -x1482 x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 1787.44 v -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 1787.44 v -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 1787.44 v -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 1787.44 v -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 x1561 1787.44 v x1562 x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 x1576 -x1577 -x1578 -x1579 1787.44 v -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 x1593 -x1594 -x1595 x1596 -x1597 1787.44 v -x1598 -x1599 -x1600 -x1601 x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 1787.44 v -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 1787.44 v -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 1787.44 v -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 x1660 -x1661 -x1662 -x1663 -x1664 -x1665 1787.44 v -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 1787.44 v -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 x1692 -x1693 x1694 -x1695 -x1696 -x1697 x1698 -x1699 -x1700 1787.44 v -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 x1712 -x1713 x1714 x1715 x1716 -x1717 -x1718 1787.44 v x1719 x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 1787.44 v -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 x1749 -x1750 -x1751 -x1752 -x1753 1787.44 v -x1754 -x1755 x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 1787.44 v x1771 x1772 -x1773 -x1774 -x1775 x1776 -x1777 x1778 x1779 -x1780 -x1781 x1782 x1783 -x1784 -x1785 -x1786 -x1787 -x1788 1787.44 v -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 x1805 1787.44 v -x1806 -x1807 -x1808 -x1809 x1810 -x1811 -x1812 x1813 -x1814 x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 1787.44 v -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 1787.44 v -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 1787.44 v -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 1787.44 v -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 1787.44 v -x1892 -x1893 x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 1787.44 v -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 1787.44 v -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 x1938 -x1939 -x1940 -x1941 -x1942 1787.44 v -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 x1952 -x1953 x1954 x1955 x1956 x1957 -x1958 -x1959 -x1960 1787.44 v x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 1787.44 v -x1978 -x1979 -x1980 -x1981 x1982 x1983 x1984 x1985 -x1986 x1987 x1988 x1989 -x1990 x1991 x1992 -x1993 -x1994 -x1995 -x1996 1787.44 v -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 x2013 1787.44 v -x2014 -x2015 x2016 x2017 x2018 x2019 x2020 x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 1787.44 v -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 x2041 x2042 x2043 x2044 -x2045 x2046 -x2047 x2048 -x2049 1787.44 v -x2050 -x2051 x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 1787.44 v -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 1787.44 v -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 1787.44 v -x2101 -x2102 x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 1787.44 v -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 1787.44 v -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 1787.44 v -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 x2161 x2162 x2163 x2164 x2165 x2166 x2167 x2168 x2169 x2170 1787.44 v x2171 x2172 x2173 -x2174 -x2175 -x2176 x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 1787.44 v -x2189 -x2190 -x2191 -x2192 x2193 x2194 x2195 x2196 -x2197 x2198 -x2199 x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 1787.44 v -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 x2221 x2222 x2223 -x2224 1787.44 v x2225 x2226 -x2227 x2228 x2229 x2230 -x2231 x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 1787.44 v -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 x2252 -x2253 x2254 x2255 x2256 x2257 x2258 x2259 -x2260 1787.44 v -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 1787.44 v -x2278 -x2279 -x2280 x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 1787.44 v -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 1787.44 v -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 1787.44 v -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 x2342 -x2343 -x2344 -x2345 -x2346 1787.44 v -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 1787.44 v -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 1787.44 v -x2381 -x2382 x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 1787.44 v -x2398 -x2399 -x2400 x2401 x2402 x2403 x2404 x2405 x2406 x2407 x2408 x2409 x2410 x2411 x2412 x2413 x2414 x2415 x2416 -x2417 1787.44 v -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 1787.44 v -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 x2446 -x2447 -x2448 -x2449 -x2450 -x2451 1787.44 v -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 x2461 -x2462 x2463 x2464 x2465 x2466 x2467 -x2468 x2469 1787.44 v -x2470 x2471 x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 1787.44 v -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 x2494 x2495 -x2496 -x2497 x2498 x2499 -x2500 -x2501 x2502 -x2503 -x2504 -x2505 1787.44 v -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 1787.44 v -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 1787.44 v -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 1787.44 v -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 1787.44 v -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 1787.44 v -x2591 -x2592 x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 1787.44 v -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 1787.44 v -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 x2641 1787.44 v x2642 x2643 x2644 -x2645 x2646 x2647 x2648 x2649 -x2650 x2651 x2652 -x2653 -x2654 x2655 -x2656 -x2657 -x2658 -x2659 -x2660 1787.44 v -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 x2671 -x2672 -x2673 -x2674 -x2675 x2676 x2677 x2678 1787.44 v x2679 -x2680 -x2681 -x2682 x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 1787.44 v -x2697 -x2698 -x2699 -x2700 x2701 -x2702 x2703 -x2704 x2705 x2706 x2707 x2708 x2709 x2710 x2711 -x2712 -x2713 -x2714 -x2715 1787.44 v -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 1787.44 v -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 1787.44 v -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 1787.44 v -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 1787.44 v -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 1787.44 v -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 1787.44 v -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 1787.44 v -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 1787.44 v -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 1787.44 v -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 x2881 x2882 x2883 x2884 x2885 x2886 1787.44 v x2887 x2888 x2889 x2890 x2891 x2892 x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 1787.44 v -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 x2921 -x2922 1787.44 v -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 1787.44 v -x2940 -x2941 x2942 x2943 x2944 -x2945 x2946 -x2947 -x2948 x2949 x2950 -x2951 x2952 x2953 -x2954 -x2955 -x2956 -x2957 -x2958 1787.44 v -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 1787.44 v -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 1787.44 v -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 1787.44 v -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 1787.44 v -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 1787.44 v -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 1787.44 v -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 1787.44 v -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 1787.44 v -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 1787.44 v -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 x3121 x3122 -x3123 x3124 x3125 x3126 x3127 x3128 x3129 x3130 1787.44 v x3131 x3132 -x3133 x3134 -x3135 x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 1787.44 v -x3149 -x3150 x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 x3162 x3163 x3164 -x3165 x3166 1787.44 v x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 x3183 -x3184 1787.44 v -x3185 x3186 x3187 -x3188 x3189 -x3190 -x3191 -x3192 -x3193 -x3194 x3195 x3196 x3197 -x3198 -x3199 -x3200 -x3201 -x3202 1787.44 v -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 x3211 x3212 -x3213 -x3214 -x3215 x3216 -x3217 -x3218 -x3219 -x3220 1787.44 v -x3221 -x3222 x3223 x3224 -x3225 -x3226 x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 1787.44 v -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 1787.44 v -x3256 x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 x3271 x3272 -x3273 1787.44 v -x3274 -x3275 -x3276 x3277 x3278 x3279 -x3280 -x3281 x3282 x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 1787.44 v -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 x3302 x3303 -x3304 x3305 -x3306 -x3307 -x3308 -x3309 1787.44 v -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 1787.44 v -x3327 -x3328 -x3329 -x3330 1787.44 c objective function=-71 1787.44 c Total wall clock time (ms): 1787.241
OK -71
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/node26/watcher-43968-1149340842 -o ROOT/results/node26/solver-43968-1149340842 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node26/43968-1149340842/instance-43968-1149340842.opb 761298153 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.94 0.99 0.97 2/64 26538 /proc/meminfo: memFree=1442480/2055920 swapFree=4192956/4192956 [pid=26538] ppid=26536 vsize=1500 CPUtime=0 /proc/26538/stat : 26538 (java) R 26536 26538 26492 0 -1 0 87 0 0 0 0 0 0 0 19 0 1 0 17255133 1536000 69 18446744073709551615 134512640 134570276 4294956624 18446744073709551615 12563040 0 0 4096 0 0 0 0 17 1 0 0 /proc/26538/statm: 375 69 55 14 0 8 0 [startup+10.0014 s] /proc/loadavg: 1.09 1.02 0.98 2/76 26551 /proc/meminfo: memFree=1277528/2055920 swapFree=4192956/4192956 [pid=26538] ppid=26536 vsize=1713220 CPUtime=11.48 /proc/26538/stat : 26538 (java) R 26536 26538 26492 0 -1 0 47702 0 1 0 1127 21 0 0 25 0 13 0 17255133 1754337280 43051 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071512969 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26538/statm: 428305 43051 1909 14 0 415052 0 [pid=26538/tid=26539] ppid=26536 vsize=1713220 CPUtime=0.16 /proc/26538/task/26539/stat : 26539 (java) S 26536 26538 26492 0 -1 64 3850 0 0 0 14 2 0 0 16 0 13 0 17255136 1754337280 43051 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26540] ppid=26536 vsize=1713220 CPUtime=0.15 /proc/26538/task/26540/stat : 26540 (java) S 26536 26538 26492 0 -1 64 3147 0 0 0 14 1 0 0 17 0 13 0 17255136 1754337280 43051 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26538/tid=26541] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26541/stat : 26541 (java) S 26536 26538 26492 0 -1 64 32 0 0 0 0 0 0 0 17 0 13 0 17255139 1754337280 43051 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=26538/tid=26542] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26542/stat : 26542 (java) S 26536 26538 26492 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 17255139 1754337280 43051 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26543] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26543/stat : 26543 (java) S 26536 26538 26492 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 17255139 1754337280 43051 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26544] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26544/stat : 26544 (java) S 26536 26538 26492 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 17255143 1754337280 43051 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26545] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26545/stat : 26545 (java) S 26536 26538 26492 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 17255143 1754337280 43051 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26546] ppid=26536 vsize=1713220 CPUtime=0.99 /proc/26538/task/26546/stat : 26546 (java) S 26536 26538 26492 0 -1 64 2878 0 0 0 99 0 0 0 15 0 13 0 17255143 1754337280 43051 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26547] ppid=26536 vsize=1713220 CPUtime=0.76 /proc/26538/task/26547/stat : 26547 (java) S 26536 26538 26492 0 -1 64 1246 0 0 0 76 0 0 0 17 0 13 0 17255143 1754337280 43051 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26538/tid=26548] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26548/stat : 26548 (java) S 26536 26538 26492 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 17255143 1754337280 43051 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26549] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26549/stat : 26549 (java) S 26536 26538 26492 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 17255143 1754337280 43051 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26551] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26551/stat : 26551 (java) S 26536 26538 26492 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 17255450 1754337280 43051 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 11.48 Current children cumulated vsize (Kb) 1713220 [startup+20.0084 s] /proc/loadavg: 1.08 1.02 0.98 2/76 26552 /proc/meminfo: memFree=1250200/2055920 swapFree=4192956/4192956 [pid=26538] ppid=26536 vsize=1713220 CPUtime=21.59 /proc/26538/stat : 26538 (java) R 26536 26538 26492 0 -1 0 54894 0 1 0 2135 24 0 0 22 0 13 0 17255133 1754337280 49886 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071560282 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26538/statm: 428305 49886 1909 14 0 415052 0 [pid=26538/tid=26539] ppid=26536 vsize=1713220 CPUtime=0.25 /proc/26538/task/26539/stat : 26539 (java) S 26536 26538 26492 0 -1 64 6637 0 0 0 21 4 0 0 16 0 13 0 17255136 1754337280 49886 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26540] ppid=26536 vsize=1713220 CPUtime=0.24 /proc/26538/task/26540/stat : 26540 (java) S 26536 26538 26492 0 -1 64 5742 0 0 0 22 2 0 0 16 0 13 0 17255136 1754337280 49886 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26538/tid=26541] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26541/stat : 26541 (java) S 26536 26538 26492 0 -1 64 32 0 0 0 0 0 0 0 16 0 13 0 17255139 1754337280 49886 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=26538/tid=26542] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26542/stat : 26542 (java) S 26536 26538 26492 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 17255139 1754337280 49886 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26543] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26543/stat : 26543 (java) S 26536 26538 26492 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 17255139 1754337280 49886 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26544] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26544/stat : 26544 (java) S 26536 26538 26492 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 17255143 1754337280 49886 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26545] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26545/stat : 26545 (java) S 26536 26538 26492 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 17255143 1754337280 49886 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26546] ppid=26536 vsize=1713220 CPUtime=1.02 /proc/26538/task/26546/stat : 26546 (java) S 26536 26538 26492 0 -1 64 2881 0 0 0 102 0 0 0 16 0 13 0 17255143 1754337280 49886 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26547] ppid=26536 vsize=1713220 CPUtime=0.78 /proc/26538/task/26547/stat : 26547 (java) S 26536 26538 26492 0 -1 64 1247 0 0 0 78 0 0 0 16 0 13 0 17255143 1754337280 49886 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26538/tid=26548] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26548/stat : 26548 (java) S 26536 26538 26492 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 17255143 1754337280 49886 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26549] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26549/stat : 26549 (java) S 26536 26538 26492 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 17255143 1754337280 49886 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26552] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26552/stat : 26552 (java) S 26536 26538 26492 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 17256410 1754337280 49886 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 21.59 Current children cumulated vsize (Kb) 1713220 [startup+30.0154 s] /proc/loadavg: 1.07 1.02 0.98 2/76 26553 /proc/meminfo: memFree=1246864/2055920 swapFree=4192956/4192956 [pid=26538] ppid=26536 vsize=1713220 CPUtime=31.66 /proc/26538/stat : 26538 (java) R 26536 26538 26492 0 -1 0 57237 0 1 0 3141 25 0 0 25 0 13 0 17255133 1754337280 50717 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071399804 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26538/statm: 428305 50717 1909 14 0 415052 0 [pid=26538/tid=26539] ppid=26536 vsize=1713220 CPUtime=0.31 /proc/26538/task/26539/stat : 26539 (java) S 26536 26538 26492 0 -1 64 7859 0 0 0 26 5 0 0 16 0 13 0 17255136 1754337280 50717 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26540] ppid=26536 vsize=1713220 CPUtime=0.31 /proc/26538/task/26540/stat : 26540 (java) S 26536 26538 26492 0 -1 64 6845 0 0 0 29 2 0 0 16 0 13 0 17255136 1754337280 50717 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26538/tid=26541] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26541/stat : 26541 (java) S 26536 26538 26492 0 -1 64 38 0 0 0 0 0 0 0 16 0 13 0 17255139 1754337280 50717 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26542] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26542/stat : 26542 (java) S 26536 26538 26492 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 17255139 1754337280 50717 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26543] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26543/stat : 26543 (java) S 26536 26538 26492 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 17255139 1754337280 50717 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26544] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26544/stat : 26544 (java) S 26536 26538 26492 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 17255143 1754337280 50717 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26545] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26545/stat : 26545 (java) S 26536 26538 26492 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 17255143 1754337280 50717 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26546] ppid=26536 vsize=1713220 CPUtime=1.02 /proc/26538/task/26546/stat : 26546 (java) S 26536 26538 26492 0 -1 64 2881 0 0 0 102 0 0 0 16 0 13 0 17255143 1754337280 50717 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26547] ppid=26536 vsize=1713220 CPUtime=0.79 /proc/26538/task/26547/stat : 26547 (java) S 26536 26538 26492 0 -1 64 1247 0 0 0 79 0 0 0 16 0 13 0 17255143 1754337280 50717 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26538/tid=26548] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26548/stat : 26548 (java) S 26536 26538 26492 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 17255143 1754337280 50717 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26549] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26549/stat : 26549 (java) S 26536 26538 26492 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 17255143 1754337280 50717 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26553] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26553/stat : 26553 (java) S 26536 26538 26492 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 17257750 1754337280 50717 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 31.66 Current children cumulated vsize (Kb) 1713220 [startup+40.0224 s] /proc/loadavg: 1.06 1.02 0.98 2/76 26553 /proc/meminfo: memFree=1235280/2055920 swapFree=4192956/4192956 [pid=26538] ppid=26536 vsize=1713220 CPUtime=41.86 /proc/26538/stat : 26538 (java) R 26536 26538 26492 0 -1 0 61536 0 1 0 4158 28 0 0 25 0 13 0 17255133 1754337280 53569 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071502572 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26538/statm: 428305 53569 1909 14 0 415052 0 [pid=26538/tid=26539] ppid=26536 vsize=1713220 CPUtime=0.39 /proc/26538/task/26539/stat : 26539 (java) S 26536 26538 26492 0 -1 64 9385 0 0 0 33 6 0 0 16 0 13 0 17255136 1754337280 53569 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26540] ppid=26536 vsize=1713220 CPUtime=0.39 /proc/26538/task/26540/stat : 26540 (java) S 26536 26538 26492 0 -1 64 8057 0 0 0 37 2 0 0 16 0 13 0 17255136 1754337280 53569 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26538/tid=26541] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26541/stat : 26541 (java) S 26536 26538 26492 0 -1 64 45 0 0 0 0 0 0 0 16 0 13 0 17255139 1754337280 53569 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=26538/tid=26542] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26542/stat : 26542 (java) S 26536 26538 26492 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 17255139 1754337280 53569 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26543] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26543/stat : 26543 (java) S 26536 26538 26492 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 17255139 1754337280 53569 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26544] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26544/stat : 26544 (java) S 26536 26538 26492 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 17255143 1754337280 53569 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26545] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26545/stat : 26545 (java) S 26536 26538 26492 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 17255143 1754337280 53569 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26546] ppid=26536 vsize=1713220 CPUtime=1.1 /proc/26538/task/26546/stat : 26546 (java) S 26536 26538 26492 0 -1 64 2886 0 0 0 110 0 0 0 15 0 13 0 17255143 1754337280 53569 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26547] ppid=26536 vsize=1713220 CPUtime=0.82 /proc/26538/task/26547/stat : 26547 (java) S 26536 26538 26492 0 -1 64 1249 0 0 0 82 0 0 0 16 0 13 0 17255143 1754337280 53569 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26538/tid=26548] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26548/stat : 26548 (java) S 26536 26538 26492 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 17255143 1754337280 53569 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26549] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26549/stat : 26549 (java) S 26536 26538 26492 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 17255143 1754337280 53569 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26553] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26553/stat : 26553 (java) S 26536 26538 26492 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 17257750 1754337280 53569 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 41.86 Current children cumulated vsize (Kb) 1713220 [startup+50.0294 s] /proc/loadavg: 1.05 1.02 0.98 2/76 26553 /proc/meminfo: memFree=1240400/2055920 swapFree=4192956/4192956 [pid=26538] ppid=26536 vsize=1713220 CPUtime=51.91 /proc/26538/stat : 26538 (java) R 26536 26538 26492 0 -1 0 63586 0 1 0 5162 29 0 0 18 0 13 0 17255133 1754337280 52304 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071399913 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26538/statm: 428305 52304 1909 14 0 415052 0 [pid=26538/tid=26539] ppid=26536 vsize=1713220 CPUtime=0.45 /proc/26538/task/26539/stat : 26539 (java) S 26536 26538 26492 0 -1 64 10494 0 0 0 38 7 0 0 16 0 13 0 17255136 1754337280 52304 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26540] ppid=26536 vsize=1713220 CPUtime=0.44 /proc/26538/task/26540/stat : 26540 (java) S 26536 26538 26492 0 -1 64 8982 0 0 0 42 2 0 0 16 0 13 0 17255136 1754337280 52304 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26538/tid=26541] ppid=26536 vsize=1713220 CPUtime=0.01 /proc/26538/task/26541/stat : 26541 (java) S 26536 26538 26492 0 -1 64 45 0 0 0 1 0 0 0 15 0 13 0 17255139 1754337280 52304 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=26538/tid=26542] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26542/stat : 26542 (java) S 26536 26538 26492 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 17255139 1754337280 52304 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26543] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26543/stat : 26543 (java) S 26536 26538 26492 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 17255139 1754337280 52304 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26544] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26544/stat : 26544 (java) S 26536 26538 26492 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 17255143 1754337280 52304 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26545] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26545/stat : 26545 (java) S 26536 26538 26492 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 17255143 1754337280 52304 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26546] ppid=26536 vsize=1713220 CPUtime=1.1 /proc/26538/task/26546/stat : 26546 (java) S 26536 26538 26492 0 -1 64 2886 0 0 0 110 0 0 0 15 0 13 0 17255143 1754337280 52304 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26547] ppid=26536 vsize=1713220 CPUtime=0.82 /proc/26538/task/26547/stat : 26547 (java) S 26536 26538 26492 0 -1 64 1249 0 0 0 82 0 0 0 16 0 13 0 17255143 1754337280 52304 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26538/tid=26548] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26548/stat : 26548 (java) S 26536 26538 26492 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 17255143 1754337280 52304 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26549] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26549/stat : 26549 (java) S 26536 26538 26492 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 17255143 1754337280 52304 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26553] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26553/stat : 26553 (java) S 26536 26538 26492 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 17257750 1754337280 52304 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 51.91 Current children cumulated vsize (Kb) 1713220 [startup+60.0364 s] /proc/loadavg: 1.04 1.02 0.98 2/76 26553 /proc/meminfo: memFree=1252048/2055920 swapFree=4192956/4192956 [pid=26538] ppid=26536 vsize=1713220 CPUtime=61.92 /proc/26538/stat : 26538 (java) R 26536 26538 26492 0 -1 0 63781 0 1 0 6162 30 0 0 25 0 13 0 17255133 1754337280 49391 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071541779 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26538/statm: 428305 49391 1909 14 0 415052 0 [pid=26538/tid=26539] ppid=26536 vsize=1713220 CPUtime=0.47 /proc/26538/task/26539/stat : 26539 (java) S 26536 26538 26492 0 -1 64 10574 0 0 0 40 7 0 0 15 0 13 0 17255136 1754337280 49391 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26538/tid=26540] ppid=26536 vsize=1713220 CPUtime=0.46 /proc/26538/task/26540/stat : 26540 (java) S 26536 26538 26492 0 -1 64 9074 0 0 0 44 2 0 0 16 0 13 0 17255136 1754337280 49391 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26541] ppid=26536 vsize=1713220 CPUtime=0.02 /proc/26538/task/26541/stat : 26541 (java) S 26536 26538 26492 0 -1 64 45 0 0 0 1 1 0 0 16 0 13 0 17255139 1754337280 49391 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=26538/tid=26542] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26542/stat : 26542 (java) S 26536 26538 26492 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 17255139 1754337280 49391 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26543] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26543/stat : 26543 (java) S 26536 26538 26492 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 17255139 1754337280 49391 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26544] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26544/stat : 26544 (java) S 26536 26538 26492 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 17255143 1754337280 49391 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=26538/tid=26542] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26542/stat : 26542 (java) S 26536 26538 26492 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 17255139 1754337280 116339 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26543] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26543/stat : 26543 (java) S 26536 26538 26492 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 17255139 1754337280 116339 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26544] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26544/stat : 26544 (java) S 26536 26538 26492 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 17255143 1754337280 116339 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26545] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26545/stat : 26545 (java) S 26536 26538 26492 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 17255143 1754337280 116339 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26546] ppid=26536 vsize=1713220 CPUtime=1.11 /proc/26538/task/26546/stat : 26546 (java) S 26536 26538 26492 0 -1 64 2887 0 0 0 111 0 0 0 16 0 13 0 17255143 1754337280 116339 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26547] ppid=26536 vsize=1713220 CPUtime=0.83 /proc/26538/task/26547/stat : 26547 (java) S 26536 26538 26492 0 -1 64 1249 0 0 0 83 0 0 0 16 0 13 0 17255143 1754337280 116339 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26548] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26548/stat : 26548 (java) S 26536 26538 26492 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 17255143 1754337280 116339 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26549] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26549/stat : 26549 (java) S 26536 26538 26492 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 17255143 1754337280 116339 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26557] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26557/stat : 26557 (java) S 26536 26538 26492 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 17332708 1754337280 116339 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1795.98 Current children cumulated vsize (Kb) 1713220 [startup+1784.35 s] /proc/loadavg: 1.00 1.00 1.00 2/76 26557 /proc/meminfo: memFree=983040/2055920 swapFree=4192956/4192956 [pid=26538] ppid=26536 vsize=1713220 CPUtime=1797 /proc/26538/stat : 26538 (java) R 26536 26538 26492 0 -1 0 222994 0 1 0 179511 189 0 0 25 0 13 0 17255133 1754337280 116340 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071542338 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26538/statm: 428305 116340 1909 14 0 415052 0 [pid=26538/tid=26539] ppid=26536 vsize=1713220 CPUtime=12.34 /proc/26538/task/26539/stat : 26539 (java) S 26536 26538 26492 0 -1 64 50339 0 0 0 1190 44 0 0 16 0 13 0 17255136 1754337280 116340 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26540] ppid=26536 vsize=1713220 CPUtime=12.36 /proc/26538/task/26540/stat : 26540 (java) S 26536 26538 26492 0 -1 64 46157 0 0 0 1195 41 0 0 16 0 13 0 17255136 1754337280 116340 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26538/tid=26541] ppid=26536 vsize=1713220 CPUtime=0.91 /proc/26538/task/26541/stat : 26541 (java) S 26536 26538 26492 0 -1 64 286 0 0 0 53 38 0 0 16 0 13 0 17255139 1754337280 116340 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=26538/tid=26542] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26542/stat : 26542 (java) S 26536 26538 26492 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 17255139 1754337280 116340 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26543] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26543/stat : 26543 (java) S 26536 26538 26492 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 17255139 1754337280 116340 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26544] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26544/stat : 26544 (java) S 26536 26538 26492 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 17255143 1754337280 116340 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26545] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26545/stat : 26545 (java) S 26536 26538 26492 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 17255143 1754337280 116340 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26546] ppid=26536 vsize=1713220 CPUtime=1.11 /proc/26538/task/26546/stat : 26546 (java) S 26536 26538 26492 0 -1 64 2887 0 0 0 111 0 0 0 16 0 13 0 17255143 1754337280 116340 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26547] ppid=26536 vsize=1713220 CPUtime=0.83 /proc/26538/task/26547/stat : 26547 (java) S 26536 26538 26492 0 -1 64 1249 0 0 0 83 0 0 0 16 0 13 0 17255143 1754337280 116340 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26548] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26548/stat : 26548 (java) S 26536 26538 26492 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 17255143 1754337280 116340 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26549] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26549/stat : 26549 (java) S 26536 26538 26492 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 17255143 1754337280 116340 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26557] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26557/stat : 26557 (java) S 26536 26538 26492 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 17332708 1754337280 116340 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797 Current children cumulated vsize (Kb) 1713220 [startup+1785.36 s] /proc/loadavg: 1.00 1.00 1.00 2/76 26557 /proc/meminfo: memFree=982912/2055920 swapFree=4192956/4192956 [pid=26538] ppid=26536 vsize=1713220 CPUtime=1798.02 /proc/26538/stat : 26538 (java) R 26536 26538 26492 0 -1 0 223029 0 1 0 179613 189 0 0 25 0 13 0 17255133 1754337280 116373 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071560048 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26538/statm: 428305 116373 1909 14 0 415052 0 [pid=26538/tid=26539] ppid=26536 vsize=1713220 CPUtime=12.35 /proc/26538/task/26539/stat : 26539 (java) S 26536 26538 26492 0 -1 64 50358 0 0 0 1191 44 0 0 16 0 13 0 17255136 1754337280 116373 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26538/tid=26540] ppid=26536 vsize=1713220 CPUtime=12.37 /proc/26538/task/26540/stat : 26540 (java) S 26536 26538 26492 0 -1 64 46171 0 0 0 1196 41 0 0 15 0 13 0 17255136 1754337280 116373 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26538/tid=26541] ppid=26536 vsize=1713220 CPUtime=0.91 /proc/26538/task/26541/stat : 26541 (java) S 26536 26538 26492 0 -1 64 286 0 0 0 53 38 0 0 15 0 13 0 17255139 1754337280 116373 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=26538/tid=26542] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26542/stat : 26542 (java) S 26536 26538 26492 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 17255139 1754337280 116373 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26543] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26543/stat : 26543 (java) S 26536 26538 26492 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 17255139 1754337280 116373 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26544] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26544/stat : 26544 (java) S 26536 26538 26492 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 17255143 1754337280 116373 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26545] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26545/stat : 26545 (java) S 26536 26538 26492 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 17255143 1754337280 116373 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26546] ppid=26536 vsize=1713220 CPUtime=1.11 /proc/26538/task/26546/stat : 26546 (java) S 26536 26538 26492 0 -1 64 2887 0 0 0 111 0 0 0 16 0 13 0 17255143 1754337280 116373 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26547] ppid=26536 vsize=1713220 CPUtime=0.83 /proc/26538/task/26547/stat : 26547 (java) S 26536 26538 26492 0 -1 64 1249 0 0 0 83 0 0 0 16 0 13 0 17255143 1754337280 116373 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26548] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26548/stat : 26548 (java) S 26536 26538 26492 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 17255143 1754337280 116373 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26549] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26549/stat : 26549 (java) S 26536 26538 26492 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 17255143 1754337280 116373 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26557] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26557/stat : 26557 (java) S 26536 26538 26492 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 17332708 1754337280 116373 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.02 Current children cumulated vsize (Kb) 1713220 [startup+1786.37 s] /proc/loadavg: 1.00 1.00 1.00 2/76 26557 /proc/meminfo: memFree=982848/2055920 swapFree=4192956/4192956 [pid=26538] ppid=26536 vsize=1713220 CPUtime=1799.03 /proc/26538/stat : 26538 (java) R 26536 26538 26492 0 -1 0 223030 0 1 0 179714 189 0 0 16 0 13 0 17255133 1754337280 116373 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071400118 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26538/statm: 428305 116373 1909 14 0 415052 0 [pid=26538/tid=26539] ppid=26536 vsize=1713220 CPUtime=12.36 /proc/26538/task/26539/stat : 26539 (java) S 26536 26538 26492 0 -1 64 50358 0 0 0 1192 44 0 0 16 0 13 0 17255136 1754337280 116373 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26540] ppid=26536 vsize=1713220 CPUtime=12.38 /proc/26538/task/26540/stat : 26540 (java) S 26536 26538 26492 0 -1 64 46171 0 0 0 1197 41 0 0 16 0 13 0 17255136 1754337280 116373 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26538/tid=26541] ppid=26536 vsize=1713220 CPUtime=0.91 /proc/26538/task/26541/stat : 26541 (java) S 26536 26538 26492 0 -1 64 286 0 0 0 53 38 0 0 16 0 13 0 17255139 1754337280 116373 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26542] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26542/stat : 26542 (java) S 26536 26538 26492 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 17255139 1754337280 116373 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26543] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26543/stat : 26543 (java) S 26536 26538 26492 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 17255139 1754337280 116373 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26544] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26544/stat : 26544 (java) S 26536 26538 26492 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 17255143 1754337280 116373 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26545] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26545/stat : 26545 (java) S 26536 26538 26492 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 17255143 1754337280 116373 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26546] ppid=26536 vsize=1713220 CPUtime=1.11 /proc/26538/task/26546/stat : 26546 (java) S 26536 26538 26492 0 -1 64 2887 0 0 0 111 0 0 0 16 0 13 0 17255143 1754337280 116373 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26547] ppid=26536 vsize=1713220 CPUtime=0.83 /proc/26538/task/26547/stat : 26547 (java) S 26536 26538 26492 0 -1 64 1249 0 0 0 83 0 0 0 16 0 13 0 17255143 1754337280 116373 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26548] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26548/stat : 26548 (java) S 26536 26538 26492 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 17255143 1754337280 116373 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26549] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26549/stat : 26549 (java) S 26536 26538 26492 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 17255143 1754337280 116373 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26557] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26557/stat : 26557 (java) S 26536 26538 26492 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 17332708 1754337280 116373 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.03 Current children cumulated vsize (Kb) 1713220 [startup+1787.38 s] /proc/loadavg: 1.00 1.00 1.00 2/76 26557 /proc/meminfo: memFree=983552/2055920 swapFree=4192956/4192956 [pid=26538] ppid=26536 vsize=1713220 CPUtime=1800.04 /proc/26538/stat : 26538 (java) R 26536 26538 26492 0 -1 0 223035 0 1 0 179815 189 0 0 17 0 13 0 17255133 1754337280 116156 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071399967 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26538/statm: 428305 116156 1909 14 0 415052 0 [pid=26538/tid=26539] ppid=26536 vsize=1713220 CPUtime=12.37 /proc/26538/task/26539/stat : 26539 (java) S 26536 26538 26492 0 -1 64 50361 0 0 0 1193 44 0 0 16 0 13 0 17255136 1754337280 116156 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26540] ppid=26536 vsize=1713220 CPUtime=12.39 /proc/26538/task/26540/stat : 26540 (java) S 26536 26538 26492 0 -1 64 46172 0 0 0 1198 41 0 0 16 0 13 0 17255136 1754337280 116156 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26538/tid=26541] ppid=26536 vsize=1713220 CPUtime=0.91 /proc/26538/task/26541/stat : 26541 (java) S 26536 26538 26492 0 -1 64 286 0 0 0 53 38 0 0 16 0 13 0 17255139 1754337280 116156 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26542] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26542/stat : 26542 (java) S 26536 26538 26492 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 17255139 1754337280 116156 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26543] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26543/stat : 26543 (java) S 26536 26538 26492 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 17255139 1754337280 116156 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26544] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26544/stat : 26544 (java) S 26536 26538 26492 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 17255143 1754337280 116156 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26545] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26545/stat : 26545 (java) S 26536 26538 26492 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 17255143 1754337280 116156 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26546] ppid=26536 vsize=1713220 CPUtime=1.11 /proc/26538/task/26546/stat : 26546 (java) S 26536 26538 26492 0 -1 64 2887 0 0 0 111 0 0 0 16 0 13 0 17255143 1754337280 116156 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26547] ppid=26536 vsize=1713220 CPUtime=0.83 /proc/26538/task/26547/stat : 26547 (java) S 26536 26538 26492 0 -1 64 1249 0 0 0 83 0 0 0 16 0 13 0 17255143 1754337280 116156 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26548] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26548/stat : 26548 (java) S 26536 26538 26492 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 17255143 1754337280 116156 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26549] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26549/stat : 26549 (java) S 26536 26538 26492 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 17255143 1754337280 116156 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26557] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26557/stat : 26557 (java) S 26536 26538 26492 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 17332708 1754337280 116156 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (Kb) 1713220 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1787.38 s] /proc/loadavg: 1.00 1.00 1.00 2/76 26557 /proc/meminfo: memFree=983552/2055920 swapFree=4192956/4192956 [pid=26538] ppid=26536 vsize=1713220 CPUtime=1800.05 /proc/26538/stat : 26538 (java) R 26536 26538 26492 0 -1 0 223035 0 1 0 179816 189 0 0 17 0 13 0 17255133 1754337280 116156 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071541802 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26538/statm: 428305 116156 1909 14 0 415052 0 [pid=26538/tid=26539] ppid=26536 vsize=1713220 CPUtime=12.37 /proc/26538/task/26539/stat : 26539 (java) S 26536 26538 26492 0 -1 64 50361 0 0 0 1193 44 0 0 16 0 13 0 17255136 1754337280 116156 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26540] ppid=26536 vsize=1713220 CPUtime=12.39 /proc/26538/task/26540/stat : 26540 (java) S 26536 26538 26492 0 -1 64 46172 0 0 0 1198 41 0 0 16 0 13 0 17255136 1754337280 116156 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26538/tid=26541] ppid=26536 vsize=1713220 CPUtime=0.91 /proc/26538/task/26541/stat : 26541 (java) S 26536 26538 26492 0 -1 64 286 0 0 0 53 38 0 0 16 0 13 0 17255139 1754337280 116156 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26542] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26542/stat : 26542 (java) S 26536 26538 26492 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 17255139 1754337280 116156 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26543] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26543/stat : 26543 (java) S 26536 26538 26492 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 17255139 1754337280 116156 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26544] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26544/stat : 26544 (java) S 26536 26538 26492 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 17255143 1754337280 116156 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26545] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26545/stat : 26545 (java) S 26536 26538 26492 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 17255143 1754337280 116156 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26546] ppid=26536 vsize=1713220 CPUtime=1.11 /proc/26538/task/26546/stat : 26546 (java) S 26536 26538 26492 0 -1 64 2887 0 0 0 111 0 0 0 16 0 13 0 17255143 1754337280 116156 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26547] ppid=26536 vsize=1713220 CPUtime=0.83 /proc/26538/task/26547/stat : 26547 (java) S 26536 26538 26492 0 -1 64 1249 0 0 0 83 0 0 0 16 0 13 0 17255143 1754337280 116156 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26548] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26548/stat : 26548 (java) S 26536 26538 26492 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 17255143 1754337280 116156 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26549] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26549/stat : 26549 (java) S 26536 26538 26492 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 17255143 1754337280 116156 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26538/tid=26557] ppid=26536 vsize=1713220 CPUtime=0 /proc/26538/task/26557/stat : 26557 (java) S 26536 26538 26492 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 17332708 1754337280 116156 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (Kb) 1713220 Sending SIGTERM to -26538 Sleeping 2 seconds Child status: 143 Real time (s): 1787.53 CPU time (s): 1800.26 CPU user time (s): 1798.29 CPU system time (s): 1.9667 CPU usage (%): 100.712 Max. virtual memory (cumulated for all children) (Kb): 1713220
Begin job on node26 on Sat Jun 3 13:20:42 UTC 2006 FILE ID= 43968-1149340842 PBS_JOBID= 310411 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-stocfor1.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node26/43968-1149340842/instance-43968-1149340842.opb 761298153 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node26/watcher-43968-1149340842 -o ROOT/results/node26/solver-43968-1149340842 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node26/43968-1149340842/instance-43968-1149340842.opb 761298153 MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213 MD5SUM BENCH= f5fea9f9b3e2808f219e4e92af96aba2 RANDOM SEED= 761298153 /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.247 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.247 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: 1442752 kB Buffers: 27800 kB Cached: 528712 kB SwapCached: 0 kB Active: 80688 kB Inactive: 490340 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1442752 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 148 kB Writeback: 0 kB Mapped: 24912 kB Slab: 28264 kB Committed_AS: 254796 kB PageTables: 1408 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node26 on Sat Jun 3 13:50:30 UTC 2006