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