Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 | SAT (TO) | 8680 | 1801.24 | 1786.57 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-p2756.opb |
MD5SUM | 54b9b4de78a7992fd69d0caeed32daef |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 4666 |
Best CPU time to get the best result obtained on this benchmark | 1800.71 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3695 |
Optimality of the best value was proved | NO |
Number of variables | 2756 |
Total number of constraints | 749 |
Number of constraints which are clauses | 132 |
Number of constraints which are cardinality constraints (but not clauses) | 220 |
Number of constraints which are nor clauses,nor cardinality constraints | 397 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 546 |
Number of terms in the objective function | 2166 |
Biggest coefficient in the objective function | 11000 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 321831 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 11000 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 321831 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.18 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.18 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.19 c no version file found!!! 0.19 c sun.arch.data.model 32 0.19 c java.version 1.5.0_06 0.19 c os.name Linux 0.19 c os.version 2.6.9-22.EL.rootsmp 0.19 c os.arch i386 0.19 c Free memory 1548419056 0.19 c Max memory 1551040512 0.19 c Total memory 1551040512 0.19 c Number of processors 2 0.24 c Cutting planes based inference 0.24 c --- Begin Solver configuration --- 0.24 c org.sat4j.minisat.uip.FirstUIP@1037c71 0.24 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1df073d 0.24 c org.sat4j.minisat.learning.MiniSATLearning@1546e25 0.24 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.24 c VSIDS like heuristics from MiniSAT using a heap 0.24 c No reason simplification 0.24 c --- End Solver configuration --- 0.24 c solving ROOT/tmp/node13/44129-1149370255/instance-44129-1149370255.opb 0.24 c reading problem ... 0.76 c ... done. Time 0.525 ms. 0.76 c #vars 2756 0.76 c #constraints 749 1.26 c SATISFIABLE 1.26 c OPTIMIZING... 1.26 c Got one! Ellapsed CPU time (in seconds):1.018 1.28 o 22205 4.16 c Got one! Ellapsed CPU time (in seconds):3.921 4.17 o 22151 4.21 c Got one! Ellapsed CPU time (in seconds):3.97 4.21 o 22130 4.27 c Got one! Ellapsed CPU time (in seconds):4.03 4.27 o 22091 4.33 c Got one! Ellapsed CPU time (in seconds):4.091 4.33 o 22018 4.37 c Got one! Ellapsed CPU time (in seconds):4.134 4.38 o 22011 7.96 c Got one! Ellapsed CPU time (in seconds):7.717 7.96 o 22006 8.01 c Got one! Ellapsed CPU time (in seconds):7.772 8.02 o 22002 15.03 c Got one! Ellapsed CPU time (in seconds):14.789 15.03 o 21988 15.22 c Got one! Ellapsed CPU time (in seconds):14.98 15.22 o 21824 19.62 c Got one! Ellapsed CPU time (in seconds):19.38 19.62 o 21822 24.06 c Got one! Ellapsed CPU time (in seconds):23.818 24.06 o 21809 28.53 c Got one! Ellapsed CPU time (in seconds):28.293 28.54 o 21686 33.14 c Got one! Ellapsed CPU time (in seconds):32.907 33.15 o 21680 33.26 c Got one! Ellapsed CPU time (in seconds):33.019 33.26 o 21326 33.35 c Got one! Ellapsed CPU time (in seconds):33.111 33.35 o 21272 41.24 c Got one! Ellapsed CPU time (in seconds):40.998 41.24 o 21271 49.64 c Got one! Ellapsed CPU time (in seconds):49.399 49.64 o 21266 65.22 c Got one! Ellapsed CPU time (in seconds):64.979 65.22 o 21256 65.77 c Got one! Ellapsed CPU time (in seconds):65.533 65.78 o 21171 564.71 c Got one! Ellapsed CPU time (in seconds):564.476 564.72 o 21115 580.05 c Got one! Ellapsed CPU time (in seconds):579.809 580.05 o 21114 631.66 c Got one! Ellapsed CPU time (in seconds):631.419 631.66 o 21113 689.26 c Got one! Ellapsed CPU time (in seconds):689.025 689.27 o 21112 1095.99 c Got one! Ellapsed CPU time (in seconds):1095.751 1095.99 o 14925 1308.11 c Got one! Ellapsed CPU time (in seconds):1307.872 1308.12 o 8686 1451.42 c Got one! Ellapsed CPU time (in seconds):1451.184 1451.43 o 8683 1567.42 c Got one! Ellapsed CPU time (in seconds):1567.184 1567.43 o 8680 1786.42 c starts : 34 1786.42 c conflicts : 1140 1786.42 c decisions : 158650 1786.42 c propagations : 309144 1786.42 c inspects : 2789120 1786.42 c learnt literals : 0 1786.42 c learnt binary clauses : 0 1786.42 c learnt ternary clauses : 0 1786.42 c learnt clauses : 1139 1786.42 c root simplifications : 0 1786.42 c removed literals (reason simplification) : 0 1786.42 c reason swapping (by a shorter reason) : 0 1786.42 c Calls to reduceDB : 0 1786.42 c speed (decisions/second) : 724.492079221485 1786.42 c non guided choices 55578 1786.42 s SATISFIABLE 1786.49 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 1786.49 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 1786.49 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 1786.49 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 1786.49 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 1786.49 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 x142 -x143 -x144 -x145 -x146 1786.49 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 1786.49 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 1786.49 v -x189 -x190 -x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 1786.49 v -x210 x211 x212 -x213 -x214 x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 1786.49 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 1786.49 v -x252 -x253 -x254 -x255 -x256 -x257 x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 1786.49 v -x273 -x274 -x275 -x276 -x277 -x278 x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 1786.49 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 1786.49 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 1786.49 v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 1786.49 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 1786.49 v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 1786.49 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 1786.49 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 1786.49 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 x458 -x459 -x460 -x461 1786.49 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 1786.49 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 x502 -x503 1786.49 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 1786.49 v -x525 -x526 -x527 -x528 x529 -x530 -x531 x532 x533 x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 1786.49 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 1786.49 v -x567 -x568 -x569 x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 x583 -x584 -x585 -x586 -x587 1786.49 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 1786.49 v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 x622 x623 -x624 -x625 -x626 -x627 -x628 -x629 1786.49 v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 1786.49 v -x651 -x652 -x653 -x654 -x655 x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 1786.49 v -x672 -x673 -x674 -x675 -x676 -x677 x678 -x679 -x680 -x681 -x682 x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 1786.49 v -x693 x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 1786.49 v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 1786.49 v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 1786.49 v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 1786.49 v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 1786.49 v x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 1786.49 v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 1786.49 v -x840 -x841 -x842 -x843 -x844 x845 -x846 -x847 x848 -x849 -x850 -x851 -x852 -x853 x854 -x855 -x856 -x857 -x858 -x859 -x860 1786.49 v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 1786.49 v x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 1786.49 v -x903 -x904 x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 1786.49 v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 1786.49 v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 1786.49 v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 1786.49 v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 1786.49 v -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 1786.49 v -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 x1038 -x1039 1786.49 v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 1786.49 v -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 1786.49 v -x1074 -x1075 -x1076 -x1077 -x1078 x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 1786.49 v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 x1099 -x1100 -x1101 -x1102 -x1103 -x1104 x1105 -x1106 -x1107 -x1108 1786.49 v -x1109 -x1110 -x1111 -x1112 -x1113 x1114 -x1115 -x1116 -x1117 x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 1786.49 v -x1127 -x1128 x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 1786.49 v -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 1786.49 v -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 1786.49 v -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 1786.49 v -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 1786.49 v -x1212 x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 1786.49 v -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 x1244 -x1245 1786.49 v -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 1786.49 v -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 1786.49 v -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 1786.49 v -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 1786.49 v -x1314 -x1315 -x1316 -x1317 -x1318 x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 1786.49 v -x1331 -x1332 x1333 x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 1786.49 v -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 1786.49 v x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 x1379 -x1380 -x1381 -x1382 -x1383 1786.49 v -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 1786.49 v -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 1786.49 v -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 1786.49 v -x1435 -x1436 -x1437 -x1438 x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 1786.49 v -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 x1468 1786.49 v -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 1786.49 v -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 1786.49 v -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 x1515 -x1516 -x1517 -x1518 -x1519 1786.49 v -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 1786.49 v -x1537 -x1538 -x1539 -x1540 -x1541 x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 1786.49 v -x1554 -x1555 -x1556 x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 1786.49 v -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 1786.49 v -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 1786.49 v -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 1786.49 v -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 1786.49 v -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 1786.49 v -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 x1666 -x1667 x1668 -x1669 -x1670 -x1671 -x1672 -x1673 1786.49 v -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 x1686 -x1687 -x1688 -x1689 -x1690 1786.49 v -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 x1705 -x1706 -x1707 1786.49 v -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 1786.49 v -x1725 -x1726 -x1727 -x1728 -x1729 x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 1786.49 v -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 1786.49 v -x1759 -x1760 -x1761 x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 x1772 -x1773 -x1774 -x1775 x1776 1786.49 v -x1777 -x1778 -x1779 x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 1786.49 v x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 1786.49 v -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 1786.49 v -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 1786.49 v -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 1786.49 v -x1862 -x1863 x1864 -x1865 -x1866 -x1867 -x1868 -x1869 x1870 -x1871 -x1872 x1873 -x1874 -x1875 -x1876 -x1877 -x1878 x1879 1786.49 v -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 1786.49 v -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 1786.49 v -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 x1926 -x1927 -x1928 -x1929 -x1930 1786.49 v -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 1786.49 v -x1948 x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 1786.49 v -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 x1977 -x1978 -x1979 -x1980 -x1981 1786.49 v -x1982 -x1983 x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 x1995 -x1996 -x1997 -x1998 -x1999 1786.49 v -x2000 -x2001 -x2002 -x2003 -x2004 x2005 -x2006 -x2007 -x2008 x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 1786.49 v -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 1786.49 v -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 x2046 -x2047 -x2048 -x2049 -x2050 -x2051 1786.49 v -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 1786.49 v -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 x2078 -x2079 x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 1786.49 v -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 1786.49 v -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 1786.49 v -x2121 -x2122 -x2123 -x2124 x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 1786.49 v -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 1786.49 v -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 1786.49 v -x2172 -x2173 x2174 -x2175 -x2176 -x2177 x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 x2189 1786.49 v -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 x2206 1786.49 v -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 1786.49 v -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 1786.49 v -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 x2253 -x2254 -x2255 x2256 -x2257 -x2258 1786.49 v -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 1786.49 v -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 x2283 -x2284 -x2285 x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 1786.49 v -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 x2301 -x2302 x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 1786.49 v -x2312 x2313 -x2314 -x2315 -x2316 -x2317 x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 x2325 -x2326 -x2327 -x2328 -x2329 1786.49 v -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 1786.49 v x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 1786.49 v -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 1786.49 v -x2381 -x2382 -x2383 -x2384 -x2385 x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 1786.49 v -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 1786.49 v -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 x2424 x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 1786.49 v -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 x2447 -x2448 -x2449 1786.49 v -x2450 -x2451 x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 x2464 -x2465 -x2466 -x2467 1786.49 v -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 x2480 -x2481 x2482 -x2483 -x2484 -x2485 1786.49 v -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 x2494 x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 1786.49 v -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 1786.49 v -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 1786.49 v -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 1786.49 v -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 1786.49 v -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 1786.49 v -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 1786.49 v -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 1786.49 v -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 1786.49 v -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 1786.49 v -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 1786.49 v -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 1786.49 v -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 1786.49 v -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 1786.49 v -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 1786.49 v -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 1786.49 c objective function=8680 1786.49 c Total wall clock time (ms): 1786.255
OK 8680
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/node13/watcher-44129-1149370255 -o ROOT/results/node13/solver-44129-1149370255 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node13/44129-1149370255/instance-44129-1149370255.opb 586120356 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.97 0.91 2/64 31080 /proc/meminfo: memFree=1860640/2055920 swapFree=4181416/4192956 [pid=31080] ppid=31078 vsize=1784 CPUtime=0 /proc/31080/stat : 31080 (java) D 31078 31080 31034 0 -1 0 176 0 0 0 0 0 0 0 18 0 1 0 202688094 1826816 146 18446744073709551615 134512640 134570276 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/31080/statm: 446 146 111 14 0 91 0 [startup+10.0027 s] /proc/loadavg: 0.93 0.97 0.91 2/76 31100 /proc/meminfo: memFree=1665472/2055920 swapFree=4181416/4192956 [pid=31080] ppid=31078 vsize=1719120 CPUtime=11.88 /proc/31080/stat : 31080 (java) R 31078 31080 31034 0 -1 0 56898 0 1 0 1161 27 0 0 25 0 13 0 202688094 1760378880 50598 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071433957 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31080/statm: 429780 50598 1909 14 0 416527 0 [pid=31080/tid=31081] ppid=31078 vsize=1719120 CPUtime=0.09 /proc/31080/task/31081/stat : 31081 (java) S 31078 31080 31034 0 -1 64 2388 0 0 0 9 0 0 0 15 0 13 0 202688097 1760378880 50598 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31082] ppid=31078 vsize=1719120 CPUtime=0.08 /proc/31080/task/31082/stat : 31082 (java) S 31078 31080 31034 0 -1 64 2165 0 0 0 8 0 0 0 16 0 13 0 202688097 1760378880 50598 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31083] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31083/stat : 31083 (java) S 31078 31080 31034 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 202688100 1760378880 50598 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31084] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31084/stat : 31084 (java) S 31078 31080 31034 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 202688100 1760378880 50598 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31080/tid=31085] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31085/stat : 31085 (java) S 31078 31080 31034 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 202688100 1760378880 50598 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31080/tid=31086] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31086/stat : 31086 (java) S 31078 31080 31034 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 202688104 1760378880 50598 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31087] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31087/stat : 31087 (java) S 31078 31080 31034 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 202688104 1760378880 50598 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31080/tid=31088] ppid=31078 vsize=1719120 CPUtime=0.86 /proc/31080/task/31088/stat : 31088 (java) S 31078 31080 31034 0 -1 64 1598 0 0 0 86 0 0 0 17 0 13 0 202688104 1760378880 50598 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31080/tid=31089] ppid=31078 vsize=1719120 CPUtime=1.6 /proc/31080/task/31089/stat : 31089 (java) S 31078 31080 31034 0 -1 64 6688 0 0 0 157 3 0 0 17 0 13 0 202688104 1760378880 50598 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31090] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31090/stat : 31090 (java) S 31078 31080 31034 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 202688104 1760378880 50598 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31091] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31091/stat : 31091 (java) S 31078 31080 31034 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 202688104 1760378880 50598 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31080/tid=31100] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31100/stat : 31100 (java) S 31078 31080 31034 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 202688897 1760378880 50598 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 11.88 Current children cumulated vsize (Kb) 1719120 [startup+20.0111 s] /proc/loadavg: 0.94 0.97 0.91 2/76 31103 /proc/meminfo: memFree=1663552/2055920 swapFree=4181416/4192956 [pid=31080] ppid=31078 vsize=1719120 CPUtime=21.99 /proc/31080/stat : 31080 (java) R 31078 31080 31034 0 -1 0 60596 0 1 0 2171 28 0 0 19 0 13 0 202688094 1760378880 51028 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071433976 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31080/statm: 429780 51028 1911 14 0 416527 0 [pid=31080/tid=31081] ppid=31078 vsize=1719120 CPUtime=0.15 /proc/31080/task/31081/stat : 31081 (java) S 31078 31080 31034 0 -1 64 3119 0 0 0 14 1 0 0 15 0 13 0 202688097 1760378880 51028 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31082] ppid=31078 vsize=1719120 CPUtime=0.14 /proc/31080/task/31082/stat : 31082 (java) S 31078 31080 31034 0 -1 64 2983 0 0 0 14 0 0 0 16 0 13 0 202688097 1760378880 51028 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31080/tid=31083] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31083/stat : 31083 (java) S 31078 31080 31034 0 -1 64 37 0 0 0 0 0 0 0 16 0 13 0 202688100 1760378880 51028 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=31080/tid=31084] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31084/stat : 31084 (java) S 31078 31080 31034 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 202688100 1760378880 51028 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31080/tid=31085] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31085/stat : 31085 (java) S 31078 31080 31034 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 202688100 1760378880 51028 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31080/tid=31086] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31086/stat : 31086 (java) S 31078 31080 31034 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 202688104 1760378880 51028 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31087] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31087/stat : 31087 (java) S 31078 31080 31034 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 202688104 1760378880 51028 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31080/tid=31088] ppid=31078 vsize=1719120 CPUtime=0.92 /proc/31080/task/31088/stat : 31088 (java) S 31078 31080 31034 0 -1 64 1603 0 0 0 92 0 0 0 17 0 13 0 202688104 1760378880 51028 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31080/tid=31089] ppid=31078 vsize=1719120 CPUtime=1.64 /proc/31080/task/31089/stat : 31089 (java) S 31078 31080 31034 0 -1 64 6689 0 0 0 161 3 0 0 16 0 13 0 202688104 1760378880 51028 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31090] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31090/stat : 31090 (java) S 31078 31080 31034 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 202688104 1760378880 51028 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31091] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31091/stat : 31091 (java) S 31078 31080 31034 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 202688104 1760378880 51028 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31103] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31103/stat : 31103 (java) S 31078 31080 31034 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 202690058 1760378880 51028 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 21.99 Current children cumulated vsize (Kb) 1719120 [startup+30.0194 s] /proc/loadavg: 0.95 0.97 0.91 2/76 31105 /proc/meminfo: memFree=1671352/2055920 swapFree=4181416/4192956 [pid=31080] ppid=31078 vsize=1719120 CPUtime=32.06 /proc/31080/stat : 31080 (java) R 31078 31080 31034 0 -1 0 62560 0 1 0 3176 30 0 0 19 0 13 0 202688094 1760378880 49135 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071543977 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31080/statm: 429780 49135 1911 14 0 416527 0 [pid=31080/tid=31081] ppid=31078 vsize=1719120 CPUtime=0.21 /proc/31080/task/31081/stat : 31081 (java) S 31078 31080 31034 0 -1 64 4153 0 0 0 19 2 0 0 16 0 13 0 202688097 1760378880 49135 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31082] ppid=31078 vsize=1719120 CPUtime=0.21 /proc/31080/task/31082/stat : 31082 (java) S 31078 31080 31034 0 -1 64 3878 0 0 0 20 1 0 0 16 0 13 0 202688097 1760378880 49135 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31083] ppid=31078 vsize=1719120 CPUtime=0.02 /proc/31080/task/31083/stat : 31083 (java) S 31078 31080 31034 0 -1 64 47 0 0 0 1 1 0 0 15 0 13 0 202688100 1760378880 49135 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31084] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31084/stat : 31084 (java) S 31078 31080 31034 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 202688100 1760378880 49135 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31080/tid=31085] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31085/stat : 31085 (java) S 31078 31080 31034 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 202688100 1760378880 49135 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31080/tid=31086] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31086/stat : 31086 (java) S 31078 31080 31034 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 202688104 1760378880 49135 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31087] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31087/stat : 31087 (java) S 31078 31080 31034 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 202688104 1760378880 49135 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31080/tid=31088] ppid=31078 vsize=1719120 CPUtime=0.93 /proc/31080/task/31088/stat : 31088 (java) S 31078 31080 31034 0 -1 64 1603 0 0 0 93 0 0 0 16 0 13 0 202688104 1760378880 49135 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31089] ppid=31078 vsize=1719120 CPUtime=1.65 /proc/31080/task/31089/stat : 31089 (java) S 31078 31080 31034 0 -1 64 6689 0 0 0 162 3 0 0 16 0 13 0 202688104 1760378880 49135 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31090] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31090/stat : 31090 (java) S 31078 31080 31034 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 202688104 1760378880 49135 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31091] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31091/stat : 31091 (java) S 31078 31080 31034 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 202688104 1760378880 49135 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31105] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31105/stat : 31105 (java) S 31078 31080 31034 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 202690949 1760378880 49135 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 32.06 Current children cumulated vsize (Kb) 1719120 [startup+40.0267 s] /proc/loadavg: 0.96 0.97 0.91 2/76 31108 /proc/meminfo: memFree=1666544/2055920 swapFree=4181416/4192956 [pid=31080] ppid=31078 vsize=1719120 CPUtime=42.11 /proc/31080/stat : 31080 (java) R 31078 31080 31034 0 -1 0 64828 0 1 0 4180 31 0 0 25 0 13 0 202688094 1760378880 50284 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071511283 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31080/statm: 429780 50284 1911 14 0 416527 0 [pid=31080/tid=31081] ppid=31078 vsize=1719120 CPUtime=0.26 /proc/31080/task/31081/stat : 31081 (java) S 31078 31080 31034 0 -1 64 5157 0 0 0 24 2 0 0 16 0 13 0 202688097 1760378880 50284 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31080/tid=31082] ppid=31078 vsize=1719120 CPUtime=0.26 /proc/31080/task/31082/stat : 31082 (java) S 31078 31080 31034 0 -1 64 5119 0 0 0 25 1 0 0 15 0 13 0 202688097 1760378880 50284 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31083] ppid=31078 vsize=1719120 CPUtime=0.02 /proc/31080/task/31083/stat : 31083 (java) S 31078 31080 31034 0 -1 64 48 0 0 0 1 1 0 0 16 0 13 0 202688100 1760378880 50284 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=31080/tid=31084] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31084/stat : 31084 (java) S 31078 31080 31034 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 202688100 1760378880 50284 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31085] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31085/stat : 31085 (java) S 31078 31080 31034 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 202688100 1760378880 50284 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31086] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31086/stat : 31086 (java) S 31078 31080 31034 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 202688104 1760378880 50284 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31087] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31087/stat : 31087 (java) S 31078 31080 31034 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 202688104 1760378880 50284 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31080/tid=31088] ppid=31078 vsize=1719120 CPUtime=0.93 /proc/31080/task/31088/stat : 31088 (java) S 31078 31080 31034 0 -1 64 1603 0 0 0 93 0 0 0 16 0 13 0 202688104 1760378880 50284 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31089] ppid=31078 vsize=1719120 CPUtime=1.65 /proc/31080/task/31089/stat : 31089 (java) S 31078 31080 31034 0 -1 64 6689 0 0 0 162 3 0 0 16 0 13 0 202688104 1760378880 50284 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31090] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31090/stat : 31090 (java) S 31078 31080 31034 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 202688104 1760378880 50284 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31091] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31091/stat : 31091 (java) S 31078 31080 31034 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 202688104 1760378880 50284 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31080/tid=31108] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31108/stat : 31108 (java) S 31078 31080 31034 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 202691431 1760378880 50284 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 42.11 Current children cumulated vsize (Kb) 1719120 [startup+50.0341 s] /proc/loadavg: 0.96 0.97 0.91 2/76 31110 /proc/meminfo: memFree=1660136/2055920 swapFree=4181416/4192956 [pid=31080] ppid=31078 vsize=1719120 CPUtime=52.16 /proc/31080/stat : 31080 (java) R 31078 31080 31034 0 -1 0 67435 0 1 0 5183 33 0 0 17 0 13 0 202688094 1760378880 51922 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071433899 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31080/statm: 429780 51922 1911 14 0 416527 0 [pid=31080/tid=31081] ppid=31078 vsize=1719120 CPUtime=0.3 /proc/31080/task/31081/stat : 31081 (java) S 31078 31080 31034 0 -1 64 6089 0 0 0 28 2 0 0 16 0 13 0 202688097 1760378880 51922 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31080/tid=31082] ppid=31078 vsize=1719120 CPUtime=0.31 /proc/31080/task/31082/stat : 31082 (java) S 31078 31080 31034 0 -1 64 6036 0 0 0 29 2 0 0 16 0 13 0 202688097 1760378880 51922 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31080/tid=31083] ppid=31078 vsize=1719120 CPUtime=0.03 /proc/31080/task/31083/stat : 31083 (java) S 31078 31080 31034 0 -1 64 49 0 0 0 2 1 0 0 16 0 13 0 202688100 1760378880 51922 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=31080/tid=31084] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31084/stat : 31084 (java) S 31078 31080 31034 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 202688100 1760378880 51922 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31085] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31085/stat : 31085 (java) S 31078 31080 31034 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 202688100 1760378880 51922 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31086] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31086/stat : 31086 (java) S 31078 31080 31034 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 202688104 1760378880 51922 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31087] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31087/stat : 31087 (java) S 31078 31080 31034 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 202688104 1760378880 51922 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31080/tid=31088] ppid=31078 vsize=1719120 CPUtime=0.93 /proc/31080/task/31088/stat : 31088 (java) S 31078 31080 31034 0 -1 64 1603 0 0 0 93 0 0 0 16 0 13 0 202688104 1760378880 51922 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31089] ppid=31078 vsize=1719120 CPUtime=1.65 /proc/31080/task/31089/stat : 31089 (java) S 31078 31080 31034 0 -1 64 6689 0 0 0 162 3 0 0 16 0 13 0 202688104 1760378880 51922 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31090] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31090/stat : 31090 (java) S 31078 31080 31034 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 202688104 1760378880 51922 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31091] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31091/stat : 31091 (java) S 31078 31080 31034 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 202688104 1760378880 51922 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31080/tid=31110] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31110/stat : 31110 (java) S 31078 31080 31034 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 202693060 1760378880 51922 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 52.16 Current children cumulated vsize (Kb) 1719120 [startup+60.0414 s] /proc/loadavg: 0.97 0.97 0.91 2/76 31110 /proc/meminfo: memFree=1667176/2055920 swapFree=4181416/4192956 [pid=31080] ppid=31078 vsize=1719120 CPUtime=62.2 /proc/31080/stat : 31080 (java) R 31078 31080 31034 0 -1 0 67832 0 1 0 6186 34 0 0 18 0 13 0 202688094 1760378880 50134 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071731698 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31080/statm: 429780 50134 1911 14 0 416527 0 [pid=31080/tid=31081] ppid=31078 vsize=1719120 CPUtime=0.33 /proc/31080/task/31081/stat : 31081 (java) S 31078 31080 31034 0 -1 64 6281 0 0 0 31 2 0 0 16 0 13 0 202688097 1760378880 50134 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31080/tid=31082] ppid=31078 vsize=1719120 CPUtime=0.34 /proc/31080/task/31082/stat : 31082 (java) S 31078 31080 31034 0 -1 64 6221 0 0 0 32 2 0 0 16 0 13 0 202688097 1760378880 50134 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31083] ppid=31078 vsize=1719120 CPUtime=0.04 /proc/31080/task/31083/stat : 31083 (java) S 31078 31080 31034 0 -1 64 49 0 0 0 2 2 0 0 16 0 13 0 202688100 1760378880 50134 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31084] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31084/stat : 31084 (java) S 31078 31080 31034 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 202688100 1760378880 50134 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31085] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31085/stat : 31085 (java) S 31078 31080 31034 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 202688100 1760378880 50134 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31086] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31086/stat : 31086 (java) S 31078 31080 31034 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 202688104 1760378880 50134 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=31080/tid=31084] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31084/stat : 31084 (java) S 31078 31080 31034 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 202688100 1760378880 103301 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31085] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31085/stat : 31085 (java) S 31078 31080 31034 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 202688100 1760378880 103301 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31086] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31086/stat : 31086 (java) S 31078 31080 31034 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 202688104 1760378880 103301 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31087] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31087/stat : 31087 (java) S 31078 31080 31034 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 202688104 1760378880 103301 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31080/tid=31088] ppid=31078 vsize=1719120 CPUtime=1.03 /proc/31080/task/31088/stat : 31088 (java) S 31078 31080 31034 0 -1 64 1694 0 0 0 103 0 0 0 16 0 13 0 202688104 1760378880 103301 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31089] ppid=31078 vsize=1719120 CPUtime=1.66 /proc/31080/task/31089/stat : 31089 (java) S 31078 31080 31034 0 -1 64 6689 0 0 0 163 3 0 0 16 0 13 0 202688104 1760378880 103301 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31090] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31090/stat : 31090 (java) S 31078 31080 31034 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 202688104 1760378880 103301 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31091] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31091/stat : 31091 (java) S 31078 31080 31034 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 202688104 1760378880 103301 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31122] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31122/stat : 31122 (java) S 31078 31080 31034 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 202844838 1760378880 103301 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.94 Current children cumulated vsize (Kb) 1719120 [startup+1783.39 s] /proc/loadavg: 1.06 1.01 0.94 2/76 31122 /proc/meminfo: memFree=1452968/2055920 swapFree=4181416/4192956 [pid=31080] ppid=31078 vsize=1719120 CPUtime=1797.96 /proc/31080/stat : 31080 (java) R 31078 31080 31034 0 -1 0 189916 0 1 0 179592 204 0 0 18 0 13 0 202688094 1760378880 103289 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071731742 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31080/statm: 429780 103289 1911 14 0 416527 0 [pid=31080/tid=31081] ppid=31078 vsize=1719120 CPUtime=13.89 /proc/31080/task/31081/stat : 31081 (java) S 31078 31080 31034 0 -1 64 38009 0 0 0 1333 56 0 0 16 0 13 0 202688097 1760378880 103289 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31080/tid=31082] ppid=31078 vsize=1719120 CPUtime=13.7 /proc/31080/task/31082/stat : 31082 (java) S 31078 31080 31034 0 -1 64 35298 0 0 0 1327 43 0 0 16 0 13 0 202688097 1760378880 103289 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31083] ppid=31078 vsize=1719120 CPUtime=0.91 /proc/31080/task/31083/stat : 31083 (java) S 31078 31080 31034 0 -1 64 199 0 0 0 52 39 0 0 15 0 13 0 202688100 1760378880 103289 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=31080/tid=31084] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31084/stat : 31084 (java) S 31078 31080 31034 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 202688100 1760378880 103289 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31085] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31085/stat : 31085 (java) S 31078 31080 31034 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 202688100 1760378880 103289 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31086] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31086/stat : 31086 (java) S 31078 31080 31034 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 202688104 1760378880 103289 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31087] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31087/stat : 31087 (java) S 31078 31080 31034 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 202688104 1760378880 103289 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31080/tid=31088] ppid=31078 vsize=1719120 CPUtime=1.03 /proc/31080/task/31088/stat : 31088 (java) S 31078 31080 31034 0 -1 64 1694 0 0 0 103 0 0 0 16 0 13 0 202688104 1760378880 103289 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31089] ppid=31078 vsize=1719120 CPUtime=1.66 /proc/31080/task/31089/stat : 31089 (java) S 31078 31080 31034 0 -1 64 6689 0 0 0 163 3 0 0 16 0 13 0 202688104 1760378880 103289 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31090] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31090/stat : 31090 (java) S 31078 31080 31034 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 202688104 1760378880 103289 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31091] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31091/stat : 31091 (java) S 31078 31080 31034 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 202688104 1760378880 103289 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31122] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31122/stat : 31122 (java) S 31078 31080 31034 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 202844838 1760378880 103289 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.96 Current children cumulated vsize (Kb) 1719120 [startup+1784.4 s] /proc/loadavg: 1.06 1.01 0.94 2/76 31122 /proc/meminfo: memFree=1452968/2055920 swapFree=4181416/4192956 [pid=31080] ppid=31078 vsize=1719120 CPUtime=1798.97 /proc/31080/stat : 31080 (java) R 31078 31080 31034 0 -1 0 189921 0 1 0 179693 204 0 0 19 0 13 0 202688094 1760378880 103276 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071433976 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31080/statm: 429780 103276 1911 14 0 416527 0 [pid=31080/tid=31081] ppid=31078 vsize=1719120 CPUtime=13.9 /proc/31080/task/31081/stat : 31081 (java) S 31078 31080 31034 0 -1 64 38010 0 0 0 1334 56 0 0 16 0 13 0 202688097 1760378880 103276 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31080/tid=31082] ppid=31078 vsize=1719120 CPUtime=13.71 /proc/31080/task/31082/stat : 31082 (java) S 31078 31080 31034 0 -1 64 35300 0 0 0 1328 43 0 0 16 0 13 0 202688097 1760378880 103276 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31083] ppid=31078 vsize=1719120 CPUtime=0.91 /proc/31080/task/31083/stat : 31083 (java) S 31078 31080 31034 0 -1 64 199 0 0 0 52 39 0 0 15 0 13 0 202688100 1760378880 103276 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=31080/tid=31084] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31084/stat : 31084 (java) S 31078 31080 31034 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 202688100 1760378880 103276 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31085] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31085/stat : 31085 (java) S 31078 31080 31034 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 202688100 1760378880 103276 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31086] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31086/stat : 31086 (java) S 31078 31080 31034 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 202688104 1760378880 103276 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31087] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31087/stat : 31087 (java) S 31078 31080 31034 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 202688104 1760378880 103276 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31080/tid=31088] ppid=31078 vsize=1719120 CPUtime=1.03 /proc/31080/task/31088/stat : 31088 (java) S 31078 31080 31034 0 -1 64 1694 0 0 0 103 0 0 0 16 0 13 0 202688104 1760378880 103276 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31089] ppid=31078 vsize=1719120 CPUtime=1.66 /proc/31080/task/31089/stat : 31089 (java) S 31078 31080 31034 0 -1 64 6689 0 0 0 163 3 0 0 16 0 13 0 202688104 1760378880 103276 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31090] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31090/stat : 31090 (java) S 31078 31080 31034 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 202688104 1760378880 103276 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31091] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31091/stat : 31091 (java) S 31078 31080 31034 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 202688104 1760378880 103276 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31122] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31122/stat : 31122 (java) S 31078 31080 31034 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 202844838 1760378880 103276 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.97 Current children cumulated vsize (Kb) 1719120 [startup+1785.4 s] /proc/loadavg: 1.06 1.01 0.94 2/76 31122 /proc/meminfo: memFree=1453032/2055920 swapFree=4181416/4192956 [pid=31080] ppid=31078 vsize=1719120 CPUtime=1799.98 /proc/31080/stat : 31080 (java) R 31078 31080 31034 0 -1 0 189927 0 1 0 179794 204 0 0 21 0 13 0 202688094 1760378880 103264 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071511353 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31080/statm: 429780 103264 1911 14 0 416527 0 [pid=31080/tid=31081] ppid=31078 vsize=1719120 CPUtime=13.91 /proc/31080/task/31081/stat : 31081 (java) S 31078 31080 31034 0 -1 64 38012 0 0 0 1335 56 0 0 16 0 13 0 202688097 1760378880 103264 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31080/tid=31082] ppid=31078 vsize=1719120 CPUtime=13.72 /proc/31080/task/31082/stat : 31082 (java) S 31078 31080 31034 0 -1 64 35302 0 0 0 1329 43 0 0 16 0 13 0 202688097 1760378880 103264 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31083] ppid=31078 vsize=1719120 CPUtime=0.91 /proc/31080/task/31083/stat : 31083 (java) S 31078 31080 31034 0 -1 64 199 0 0 0 52 39 0 0 15 0 13 0 202688100 1760378880 103264 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=31080/tid=31084] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31084/stat : 31084 (java) S 31078 31080 31034 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 202688100 1760378880 103264 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31085] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31085/stat : 31085 (java) S 31078 31080 31034 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 202688100 1760378880 103264 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31086] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31086/stat : 31086 (java) S 31078 31080 31034 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 202688104 1760378880 103264 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31087] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31087/stat : 31087 (java) S 31078 31080 31034 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 202688104 1760378880 103264 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31080/tid=31088] ppid=31078 vsize=1719120 CPUtime=1.03 /proc/31080/task/31088/stat : 31088 (java) S 31078 31080 31034 0 -1 64 1694 0 0 0 103 0 0 0 16 0 13 0 202688104 1760378880 103264 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31089] ppid=31078 vsize=1719120 CPUtime=1.66 /proc/31080/task/31089/stat : 31089 (java) S 31078 31080 31034 0 -1 64 6689 0 0 0 163 3 0 0 16 0 13 0 202688104 1760378880 103264 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31090] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31090/stat : 31090 (java) S 31078 31080 31034 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 202688104 1760378880 103264 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31091] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31091/stat : 31091 (java) S 31078 31080 31034 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 202688104 1760378880 103264 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31122] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31122/stat : 31122 (java) S 31078 31080 31034 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 202844838 1760378880 103264 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.98 Current children cumulated vsize (Kb) 1719120 [startup+1786.41 s] /proc/loadavg: 1.06 1.01 0.94 2/76 31122 /proc/meminfo: memFree=1453096/2055920 swapFree=4181416/4192956 [pid=31080] ppid=31078 vsize=1719120 CPUtime=1801 /proc/31080/stat : 31080 (java) R 31078 31080 31034 0 -1 0 189933 0 1 0 179896 204 0 0 24 0 13 0 202688094 1760378880 103252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071542545 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31080/statm: 429780 103252 1911 14 0 416527 0 [pid=31080/tid=31081] ppid=31078 vsize=1719120 CPUtime=13.92 /proc/31080/task/31081/stat : 31081 (java) S 31078 31080 31034 0 -1 64 38014 0 0 0 1336 56 0 0 16 0 13 0 202688097 1760378880 103252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31080/tid=31082] ppid=31078 vsize=1719120 CPUtime=13.73 /proc/31080/task/31082/stat : 31082 (java) S 31078 31080 31034 0 -1 64 35304 0 0 0 1330 43 0 0 16 0 13 0 202688097 1760378880 103252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31083] ppid=31078 vsize=1719120 CPUtime=0.91 /proc/31080/task/31083/stat : 31083 (java) S 31078 31080 31034 0 -1 64 199 0 0 0 52 39 0 0 15 0 13 0 202688100 1760378880 103252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=31080/tid=31084] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31084/stat : 31084 (java) S 31078 31080 31034 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 202688100 1760378880 103252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31085] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31085/stat : 31085 (java) S 31078 31080 31034 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 202688100 1760378880 103252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31086] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31086/stat : 31086 (java) S 31078 31080 31034 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 202688104 1760378880 103252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31087] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31087/stat : 31087 (java) S 31078 31080 31034 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 202688104 1760378880 103252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31080/tid=31088] ppid=31078 vsize=1719120 CPUtime=1.03 /proc/31080/task/31088/stat : 31088 (java) S 31078 31080 31034 0 -1 64 1694 0 0 0 103 0 0 0 16 0 13 0 202688104 1760378880 103252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31089] ppid=31078 vsize=1719120 CPUtime=1.66 /proc/31080/task/31089/stat : 31089 (java) S 31078 31080 31034 0 -1 64 6689 0 0 0 163 3 0 0 16 0 13 0 202688104 1760378880 103252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31090] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31090/stat : 31090 (java) S 31078 31080 31034 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 202688104 1760378880 103252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31091] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31091/stat : 31091 (java) S 31078 31080 31034 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 202688104 1760378880 103252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31122] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31122/stat : 31122 (java) S 31078 31080 31034 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 202844838 1760378880 103252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1801 Current children cumulated vsize (Kb) 1719120 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1786.42 s] /proc/loadavg: 1.06 1.01 0.94 2/76 31122 /proc/meminfo: memFree=1453096/2055920 swapFree=4181416/4192956 [pid=31080] ppid=31078 vsize=1719120 CPUtime=1801 /proc/31080/stat : 31080 (java) R 31078 31080 31034 0 -1 0 189933 0 1 0 179896 204 0 0 24 0 13 0 202688094 1760378880 103252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071433957 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31080/statm: 429780 103252 1911 14 0 416527 0 [pid=31080/tid=31081] ppid=31078 vsize=1719120 CPUtime=13.92 /proc/31080/task/31081/stat : 31081 (java) S 31078 31080 31034 0 -1 64 38014 0 0 0 1336 56 0 0 16 0 13 0 202688097 1760378880 103252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31080/tid=31082] ppid=31078 vsize=1719120 CPUtime=13.73 /proc/31080/task/31082/stat : 31082 (java) S 31078 31080 31034 0 -1 64 35304 0 0 0 1330 43 0 0 16 0 13 0 202688097 1760378880 103252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31083] ppid=31078 vsize=1719120 CPUtime=0.91 /proc/31080/task/31083/stat : 31083 (java) S 31078 31080 31034 0 -1 64 199 0 0 0 52 39 0 0 15 0 13 0 202688100 1760378880 103252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=31080/tid=31084] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31084/stat : 31084 (java) S 31078 31080 31034 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 202688100 1760378880 103252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31085] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31085/stat : 31085 (java) S 31078 31080 31034 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 202688100 1760378880 103252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31086] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31086/stat : 31086 (java) S 31078 31080 31034 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 202688104 1760378880 103252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31087] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31087/stat : 31087 (java) S 31078 31080 31034 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 202688104 1760378880 103252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31080/tid=31088] ppid=31078 vsize=1719120 CPUtime=1.03 /proc/31080/task/31088/stat : 31088 (java) S 31078 31080 31034 0 -1 64 1694 0 0 0 103 0 0 0 16 0 13 0 202688104 1760378880 103252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31089] ppid=31078 vsize=1719120 CPUtime=1.66 /proc/31080/task/31089/stat : 31089 (java) S 31078 31080 31034 0 -1 64 6689 0 0 0 163 3 0 0 16 0 13 0 202688104 1760378880 103252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31090] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31090/stat : 31090 (java) S 31078 31080 31034 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 202688104 1760378880 103252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31091] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31091/stat : 31091 (java) S 31078 31080 31034 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 202688104 1760378880 103252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31080/tid=31122] ppid=31078 vsize=1719120 CPUtime=0 /proc/31080/task/31122/stat : 31122 (java) S 31078 31080 31034 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 202844838 1760378880 103252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1801 Current children cumulated vsize (Kb) 1719120 Sending SIGTERM to -31080 Sleeping 2 seconds Child status: 143 Real time (s): 1786.57 CPU time (s): 1801.24 CPU user time (s): 1799.12 CPU system time (s): 2.11668 CPU usage (%): 100.821 Max. virtual memory (cumulated for all children) (Kb): 1719120
Begin job on node13 on Sat Jun 3 21:30:55 UTC 2006 FILE ID= 44129-1149370255 PBS_JOBID= 312154 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-p2756.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node13/44129-1149370255/instance-44129-1149370255.opb 586120356 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-44129-1149370255 -o ROOT/results/node13/solver-44129-1149370255 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node13/44129-1149370255/instance-44129-1149370255.opb 586120356 MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213 MD5SUM BENCH= 54b9b4de78a7992fd69d0caeed32daef RANDOM SEED= 586120356 /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.234 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.234 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: 1860912 kB Buffers: 15144 kB Cached: 122632 kB SwapCached: 2848 kB Active: 43956 kB Inactive: 102152 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1860912 kB SwapTotal: 4192956 kB SwapFree: 4181416 kB Dirty: 184 kB Writeback: 0 kB Mapped: 14664 kB Slab: 34908 kB Committed_AS: 381176 kB PageTables: 1492 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node13 on Sat Jun 3 22:00:41 UTC 2006