Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
sat4jPseudoCP 2007-03-23 | SAT (TO) | -44 | 1800.24 | 1771.78 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-1.opb |
MD5SUM | a2418d45f4247bab260506429e96e746 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -57 |
Best CPU time to get the best result obtained on this benchmark | 1800.02 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -57 |
Optimality of the best value was proved | NO |
Number of variables | 1534 |
Total number of constraints | 126555 |
Number of constraints which are clauses | 126555 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 1534 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1534 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1534 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.08/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.08/0.14 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.08/0.14 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.08/0.15 c no version file found!!! 0.08/0.15 c sun.arch.data.model 32 0.08/0.15 c java.version 1.6.0 0.08/0.15 c os.name Linux 0.08/0.15 c os.version 2.6.9-34.ELsmp 0.08/0.15 c os.arch i386 0.08/0.15 c Free memory 1651659224 0.08/0.15 c Max memory 1654456320 0.08/0.15 c Total memory 1654456320 0.08/0.15 c Number of processors 2 0.08/0.19 c Cutting planes based inference (org.sat4j.minisat.constraints.pb.PBSolver) 0.08/0.19 --- Begin Solver configuration --- 0.08/0.19 c Stops conflict analysis at the first Unique Implication Point 0.08/0.19 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.08/0.19 c Learn all clauses as in MiniSAT 0.08/0.19 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=10000.0 initConflictBound=100 0.08/0.19 c VSIDS like heuristics from MiniSAT using a heap 0.08/0.19 c No reason simplification 0.08/0.19 c --- End Solver configuration --- 0.08/0.19 c solving /tmp/evaluation/353732-1176674222/instance-353732-1176674222.opb 0.08/0.19 c reading problem ... 3.38/2.85 c ... done. Wall clock time 2.665s. 3.38/2.85 c CPU time (experimental) 2.36s. 3.38/2.85 c #vars 1534 3.38/2.85 c #constraints 126555 3.48/2.91 c SATISFIABLE 3.48/2.91 c OPTIMIZING... 3.48/2.91 c Got one! Elapsed wall clock time (in seconds):2.724 3.48/2.92 o -39 5.20/4.22 c Got one! Elapsed wall clock time (in seconds):4.037 5.20/4.23 o -40 11.93/9.54 c Got one! Elapsed wall clock time (in seconds):9.352 11.93/9.54 o -41 43.39/40.67 c Got one! Elapsed wall clock time (in seconds):40.482 43.39/40.67 o -42 170.38/166.17 c Got one! Elapsed wall clock time (in seconds):165.983 170.38/166.17 o -43 566.36/558.65 c Got one! Elapsed wall clock time (in seconds):558.462 566.36/558.65 o -44 1800.02/1771.61 c starts : 11 1800.02/1771.61 c conflicts : 5365 1800.02/1771.61 c decisions : 6627 1800.02/1771.61 c propagations : 61769 1800.02/1771.61 c inspects : 11619602 1800.02/1771.61 c learnt literals : 0 1800.02/1771.61 c learnt binary clauses : 0 1800.02/1771.61 c learnt ternary clauses : 0 1800.02/1771.61 c learnt clauses : 5364 1800.02/1771.61 c root simplifications : 0 1800.02/1771.61 c removed literals (reason simplification) : 0 1800.02/1771.61 c reason swapping (by a shorter reason) : 0 1800.02/1771.61 c Calls to reduceDB : 0 1800.02/1771.61 c speed (decisions/second) : 5.463539305000206 1800.02/1771.61 c non guided choices 0 1800.02/1771.61 s SATISFIABLE 1800.02/1771.65 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 1800.02/1771.65 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 1800.02/1771.65 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 1800.02/1771.65 v x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 1800.02/1771.65 v -x106 x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 1800.02/1771.65 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 1800.02/1771.65 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 x167 -x168 1800.02/1771.65 v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1800.02/1771.65 v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 1800.02/1771.65 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 -x231 1800.02/1771.65 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 1800.02/1771.65 v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 1800.02/1771.65 v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 1800.02/1771.65 v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 1800.02/1771.65 v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 x332 -x333 -x334 -x335 -x336 1800.02/1771.65 v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 1800.02/1771.65 v -x358 -x359 -x360 x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 1800.02/1771.65 v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 x389 -x390 -x391 -x392 -x393 -x394 -x395 x396 -x397 -x398 -x399 1800.02/1771.65 v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 x420 1800.02/1771.65 v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 1800.02/1771.65 v -x442 -x443 x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 1800.02/1771.65 v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 1800.02/1771.65 v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 1800.02/1771.65 v -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 1800.02/1771.65 v -x526 -x527 x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 1800.02/1771.65 v -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 x561 -x562 -x563 -x564 -x565 -x566 -x567 1800.02/1771.65 v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 x587 -x588 1800.02/1771.65 v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 1800.02/1771.65 v -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 1800.02/1771.65 v -x631 -x632 -x633 x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 1800.02/1771.65 v -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 1800.02/1771.65 v -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 1800.02/1771.65 v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 x713 -x714 1800.02/1771.65 v -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 1800.02/1771.65 v -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 1800.02/1771.65 v -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 1800.02/1771.65 v -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 1800.02/1771.65 v -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 1800.02/1771.65 v -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 1800.02/1771.65 v -x841 -x842 -x843 -x844 -x845 -x846 x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 1800.02/1771.65 v -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 x880 -x881 -x882 1800.02/1771.65 v -x883 -x884 x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 1800.02/1771.65 v -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 1800.02/1771.65 v -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 1800.02/1771.65 v -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 x960 -x961 -x962 -x963 -x964 -x965 -x966 1800.02/1771.65 v -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 x981 -x982 -x983 -x984 -x985 -x986 -x987 1800.02/1771.65 v -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 1800.02/1771.65 v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 1800.02/1771.65 v -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 1800.02/1771.65 v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 1800.02/1771.65 v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 1800.02/1771.65 v -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 x1091 1800.02/1771.65 v -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 x1106 -x1107 -x1108 1800.02/1771.65 v -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 1800.02/1771.65 v -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 1800.02/1771.65 v -x1143 -x1144 -x1145 x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 1800.02/1771.65 v -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 x1176 1800.02/1771.65 v -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 1800.02/1771.65 v -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 1800.02/1771.65 v -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 1800.02/1771.65 v -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 x1241 -x1242 -x1243 -x1244 1800.02/1771.65 v -x1245 -x1246 -x1247 -x1248 x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 1800.02/1771.65 v -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 1800.02/1771.65 v -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 1800.02/1771.65 v -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 1800.02/1771.65 v -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 1800.02/1771.65 v -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 1800.02/1771.65 v -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 1800.02/1771.65 v -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 1800.02/1771.65 v -x1381 x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 1800.02/1771.65 v -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 1800.02/1771.65 v -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 1800.02/1771.65 v -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 1800.02/1771.65 v -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 1800.02/1771.65 v -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 x1479 -x1480 -x1481 -x1482 1800.02/1771.65 v -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 1800.02/1771.65 v -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 1800.02/1771.65 v -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 1800.02/1771.65 v -x1534 1800.02/1771.65 c objective function=-44 1800.02/1771.65 c Total wall clock time (ms): 1771.462
OK -44
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node76/watcher-353732-1176674222 -o ROOT/results/node76/solver-353732-1176674222 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/353732-1176674222/sat4jPseudoCP.jar /tmp/evaluation/353732-1176674222/instance-353732-1176674222.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 1.15 1.11 2/69 18750 /proc/meminfo: memFree=1800048/2055888 swapFree=4087308/4096564 [pid=18750] ppid=18748 vsize=18572 CPUtime=0 /proc/18750/stat : 18750 (runsolver) R 18748 18750 7039 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 115336748 19017728 292 18446744073709551615 4194304 4296420 548682068880 18446744073709551615 206843737111 0 2147483391 4096 24578 0 0 0 17 0 0 0 /proc/18750/statm: 4643 292 257 24 0 2626 0 [startup+0.063052 s] /proc/loadavg: 0.99 1.15 1.11 2/69 18750 /proc/meminfo: memFree=1800048/2055888 swapFree=4087308/4096564 [pid=18750] ppid=18748 vsize=1777712 CPUtime=0.04 /proc/18750/stat : 18750 (java) S 18748 18750 7039 0 -1 0 3621 0 1 0 3 1 0 0 19 0 7 0 115336748 1820377088 3367 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 0 0 0 /proc/18750/statm: 444428 3367 1070 9 0 442063 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 1777712 [startup+0.101058 s] /proc/loadavg: 0.99 1.15 1.11 2/69 18750 /proc/meminfo: memFree=1800048/2055888 swapFree=4087308/4096564 [pid=18750] ppid=18748 vsize=1780112 CPUtime=0.08 /proc/18750/stat : 18750 (java) S 18748 18750 7039 0 -1 0 3967 0 1 0 6 2 0 0 19 0 12 0 115336748 1822834688 3712 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/18750/statm: 445028 3712 1123 9 0 442646 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1780112 [startup+0.301108 s] /proc/loadavg: 0.99 1.15 1.11 2/69 18750 /proc/meminfo: memFree=1800048/2055888 swapFree=4087308/4096564 [pid=18750] ppid=18748 vsize=1782300 CPUtime=0.36 /proc/18750/stat : 18750 (java) S 18748 18750 7039 0 -1 0 5069 0 1 0 33 3 0 0 19 0 12 0 115336748 1825075200 4809 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/18750/statm: 445575 4809 1269 9 0 443186 0 Current children cumulated CPU time (s) 0.36 Current children cumulated vsize (KiB) 1782300 [startup+0.701185 s] /proc/loadavg: 0.99 1.15 1.11 2/69 18750 /proc/meminfo: memFree=1800048/2055888 swapFree=4087308/4096564 [pid=18750] ppid=18748 vsize=1783292 CPUtime=0.9 /proc/18750/stat : 18750 (java) S 18748 18750 7039 0 -1 0 6940 0 1 0 86 4 0 0 19 0 12 0 115336748 1826091008 6415 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/18750/statm: 445823 6415 1302 9 0 443434 0 Current children cumulated CPU time (s) 0.9 Current children cumulated vsize (KiB) 1783292 [startup+1.50134 s] /proc/loadavg: 0.99 1.15 1.11 2/81 18762 /proc/meminfo: memFree=1772304/2055888 swapFree=4087308/4096564 [pid=18750] ppid=18748 vsize=1785672 CPUtime=2.04 /proc/18750/stat : 18750 (java) S 18748 18750 7039 0 -1 0 19659 0 1 0 194 10 0 0 19 0 12 0 115336748 1828528128 17742 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/18750/statm: 446418 17742 1302 9 0 444029 0 [pid=18750/tid=18752] ppid=18748 vsize=1785672 CPUtime=1.05 /proc/18750/task/18752/stat : 18752 (java) R 18748 18750 7039 0 -1 64 15972 0 1 0 97 8 0 0 25 0 12 0 115336749 1828528128 17742 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109479256 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18750/tid=18753] ppid=18748 vsize=1785672 CPUtime=0 /proc/18750/task/18753/stat : 18753 (java) S 18748 18750 7039 0 -1 64 3 0 0 0 0 0 0 0 21 0 12 0 115336751 1828528128 17742 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18754] ppid=18748 vsize=1785672 CPUtime=0 /proc/18750/task/18754/stat : 18754 (java) S 18748 18750 7039 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 115336751 1828528128 17742 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18750/tid=18755] ppid=18748 vsize=1785672 CPUtime=0 /proc/18750/task/18755/stat : 18755 (java) S 18748 18750 7039 0 -1 64 2 0 0 0 0 0 0 0 17 0 12 0 115336753 1828528128 17742 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18756] ppid=18748 vsize=1785672 CPUtime=0 /proc/18750/task/18756/stat : 18756 (java) S 18748 18750 7039 0 -1 64 10 0 0 0 0 0 0 0 24 0 12 0 115336753 1828528128 17742 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18757] ppid=18748 vsize=1785672 CPUtime=0 /proc/18750/task/18757/stat : 18757 (java) S 18748 18750 7039 0 -1 64 4 0 0 0 0 0 0 0 25 0 12 0 115336753 1828528128 17742 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18758] ppid=18748 vsize=1785672 CPUtime=0 /proc/18750/task/18758/stat : 18758 (java) S 18748 18750 7039 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 115336757 1828528128 17742 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18759] ppid=18748 vsize=1785672 CPUtime=0.46 /proc/18750/task/18759/stat : 18759 (java) S 18748 18750 7039 0 -1 64 982 0 0 0 46 0 0 0 16 0 12 0 115336757 1828528128 17742 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18750/tid=18760] ppid=18748 vsize=1785672 CPUtime=0.5 /proc/18750/task/18760/stat : 18760 (java) S 18748 18750 7039 0 -1 64 1985 0 0 0 50 0 0 0 16 0 12 0 115336757 1828528128 17742 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18761] ppid=18748 vsize=1785672 CPUtime=0 /proc/18750/task/18761/stat : 18761 (java) S 18748 18750 7039 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 115336757 1828528128 17742 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18762] ppid=18748 vsize=1785672 CPUtime=0 /proc/18750/task/18762/stat : 18762 (java) S 18748 18750 7039 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 115336757 1828528128 17742 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2.04 Current children cumulated vsize (KiB) 1785672 [startup+3.10265 s] /proc/loadavg: 0.99 1.15 1.11 2/81 18762 /proc/meminfo: memFree=1659536/2055888 swapFree=4087308/4096564 [pid=18750] ppid=18748 vsize=1786320 CPUtime=3.8 /proc/18750/stat : 18750 (java) S 18748 18750 7039 0 -1 0 43112 0 1 0 358 22 0 0 19 0 13 0 115336748 1829191680 41128 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/18750/statm: 446580 41128 1320 9 0 444191 0 [pid=18750/tid=18752] ppid=18748 vsize=1786320 CPUtime=2.51 /proc/18750/task/18752/stat : 18752 (java) R 18748 18750 7039 0 -1 64 37744 0 1 0 231 20 0 0 25 0 13 0 115336749 1829191680 41128 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18753] ppid=18748 vsize=1786320 CPUtime=0.03 /proc/18750/task/18753/stat : 18753 (java) S 18748 18750 7039 0 -1 64 823 0 0 0 3 0 0 0 17 0 13 0 115336751 1829191680 41128 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18754] ppid=18748 vsize=1786320 CPUtime=0.04 /proc/18750/task/18754/stat : 18754 (java) S 18748 18750 7039 0 -1 64 765 0 0 0 4 0 0 0 16 0 13 0 115336751 1829191680 41128 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18750/tid=18755] ppid=18748 vsize=1786320 CPUtime=0 /proc/18750/task/18755/stat : 18755 (java) S 18748 18750 7039 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 115336753 1829191680 41128 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=18750/tid=18756] ppid=18748 vsize=1786320 CPUtime=0 /proc/18750/task/18756/stat : 18756 (java) S 18748 18750 7039 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 115336753 1829191680 41128 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18750/tid=18757] ppid=18748 vsize=1786320 CPUtime=0 /proc/18750/task/18757/stat : 18757 (java) S 18748 18750 7039 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 115336753 1829191680 41128 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18750/tid=18758] ppid=18748 vsize=1786320 CPUtime=0 /proc/18750/task/18758/stat : 18758 (java) S 18748 18750 7039 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 115336757 1829191680 41128 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18759] ppid=18748 vsize=1786320 CPUtime=0.58 /proc/18750/task/18759/stat : 18759 (java) R 18748 18750 7039 0 -1 64 1059 0 0 0 58 0 0 0 17 0 13 0 115336757 1829191680 41128 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 102857052 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18750/tid=18760] ppid=18748 vsize=1786320 CPUtime=0.59 /proc/18750/task/18760/stat : 18760 (java) R 18748 18750 7039 0 -1 64 1993 0 0 0 59 0 0 0 16 0 13 0 115336757 1829191680 41128 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 103316019 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18761] ppid=18748 vsize=1786320 CPUtime=0 /proc/18750/task/18761/stat : 18761 (java) S 18748 18750 7039 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 115336757 1829191680 41128 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18762] ppid=18748 vsize=1786320 CPUtime=0 /proc/18750/task/18762/stat : 18762 (java) S 18748 18750 7039 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 115336757 1829191680 41128 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 3.8 Current children cumulated vsize (KiB) 1786320 [startup+6.30127 s] /proc/loadavg: 1.07 1.16 1.12 2/82 18765 /proc/meminfo: memFree=1612944/2055888 swapFree=4087308/4096564 [pid=18750] ppid=18748 vsize=1798444 CPUtime=8.37 /proc/18750/stat : 18750 (java) S 18748 18750 7039 0 -1 0 54052 0 1 0 808 29 0 0 19 0 13 0 115336748 1841606656 45931 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/18750/statm: 449611 45931 1324 9 0 447222 0 [pid=18750/tid=18752] ppid=18748 vsize=1798444 CPUtime=5.19 /proc/18750/task/18752/stat : 18752 (java) R 18748 18750 7039 0 -1 64 37755 0 1 0 499 20 0 0 22 0 13 0 115336749 1841606656 45931 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109835678 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18753] ppid=18748 vsize=1798444 CPUtime=0.21 /proc/18750/task/18753/stat : 18753 (java) S 18748 18750 7039 0 -1 64 2935 0 0 0 20 1 0 0 16 0 13 0 115336751 1841606656 45931 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18750/tid=18754] ppid=18748 vsize=1798444 CPUtime=0.21 /proc/18750/task/18754/stat : 18754 (java) S 18748 18750 7039 0 -1 64 2656 0 0 0 21 0 0 0 16 0 13 0 115336751 1841606656 45931 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18755] ppid=18748 vsize=1798444 CPUtime=0 /proc/18750/task/18755/stat : 18755 (java) S 18748 18750 7039 0 -1 64 15 0 0 0 0 0 0 0 16 0 13 0 115336753 1841606656 45931 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18756] ppid=18748 vsize=1798444 CPUtime=0 /proc/18750/task/18756/stat : 18756 (java) S 18748 18750 7039 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 115336753 1841606656 45931 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18757] ppid=18748 vsize=1798444 CPUtime=0 /proc/18750/task/18757/stat : 18757 (java) S 18748 18750 7039 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 115336753 1841606656 45931 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18758] ppid=18748 vsize=1798444 CPUtime=0 /proc/18750/task/18758/stat : 18758 (java) S 18748 18750 7039 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 115336757 1841606656 45931 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18759] ppid=18748 vsize=1798444 CPUtime=1.72 /proc/18750/task/18759/stat : 18759 (java) S 18748 18750 7039 0 -1 64 7314 0 0 0 168 4 0 0 16 0 13 0 115336757 1841606656 45931 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18750/tid=18760] ppid=18748 vsize=1798444 CPUtime=0.98 /proc/18750/task/18760/stat : 18760 (java) S 18748 18750 7039 0 -1 64 2656 0 0 0 97 1 0 0 16 0 13 0 115336757 1841606656 45931 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18761] ppid=18748 vsize=1798444 CPUtime=0 /proc/18750/task/18761/stat : 18761 (java) S 18748 18750 7039 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 115336757 1841606656 45931 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18762] ppid=18748 vsize=1798444 CPUtime=0 /proc/18750/task/18762/stat : 18762 (java) S 18748 18750 7039 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 115336757 1841606656 45931 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18765] ppid=18748 vsize=1798444 CPUtime=0 /proc/18750/task/18765/stat : 18765 (java) S 18748 18750 7039 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 115337174 1841606656 45931 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 8.37 Current children cumulated vsize (KiB) 1798444 [startup+12.7025 s] /proc/loadavg: 1.06 1.16 1.12 2/82 18766 /proc/meminfo: memFree=1595680/2055888 swapFree=4087308/4096564 [pid=18750] ppid=18748 vsize=1798000 CPUtime=15.36 /proc/18750/stat : 18750 (java) S 18748 18750 7039 0 -1 0 61285 0 1 0 1504 32 0 0 19 0 13 0 115336748 1841152000 52236 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/18750/statm: 449500 52236 1325 9 0 447111 0 [pid=18750/tid=18752] ppid=18748 vsize=1798000 CPUtime=11.3 /proc/18750/task/18752/stat : 18752 (java) R 18748 18750 7039 0 -1 64 38363 0 1 0 1109 21 0 0 25 0 13 0 115336749 1841152000 52236 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4110007009 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18753] ppid=18748 vsize=1798000 CPUtime=0.34 /proc/18750/task/18753/stat : 18753 (java) S 18748 18750 7039 0 -1 64 6404 0 0 0 31 3 0 0 16 0 13 0 115336751 1841152000 52236 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18750/tid=18754] ppid=18748 vsize=1798000 CPUtime=0.34 /proc/18750/task/18754/stat : 18754 (java) S 18748 18750 7039 0 -1 64 5511 0 0 0 32 2 0 0 15 0 13 0 115336751 1841152000 52236 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18755] ppid=18748 vsize=1798000 CPUtime=0 /proc/18750/task/18755/stat : 18755 (java) S 18748 18750 7039 0 -1 64 25 0 0 0 0 0 0 0 16 0 13 0 115336753 1841152000 52236 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=18750/tid=18756] ppid=18748 vsize=1798000 CPUtime=0 /proc/18750/task/18756/stat : 18756 (java) S 18748 18750 7039 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 115336753 1841152000 52236 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18757] ppid=18748 vsize=1798000 CPUtime=0 /proc/18750/task/18757/stat : 18757 (java) S 18748 18750 7039 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 115336753 1841152000 52236 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18758] ppid=18748 vsize=1798000 CPUtime=0 /proc/18750/task/18758/stat : 18758 (java) S 18748 18750 7039 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 115336757 1841152000 52236 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18759] ppid=18748 vsize=1798000 CPUtime=2.14 /proc/18750/task/18759/stat : 18759 (java) S 18748 18750 7039 0 -1 64 7354 0 0 0 210 4 0 0 17 0 13 0 115336757 1841152000 52236 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18750/tid=18760] ppid=18748 vsize=1798000 CPUtime=1.2 /proc/18750/task/18760/stat : 18760 (java) S 18748 18750 7039 0 -1 64 2906 0 0 0 119 1 0 0 16 0 13 0 115336757 1841152000 52236 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18761] ppid=18748 vsize=1798000 CPUtime=0 /proc/18750/task/18761/stat : 18761 (java) S 18748 18750 7039 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 115336757 1841152000 52236 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18762] ppid=18748 vsize=1798000 CPUtime=0 /proc/18750/task/18762/stat : 18762 (java) S 18748 18750 7039 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 115336757 1841152000 52236 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18766] ppid=18748 vsize=1798000 CPUtime=0 /proc/18750/task/18766/stat : 18766 (java) S 18748 18750 7039 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 115337712 1841152000 52236 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 15.36 Current children cumulated vsize (KiB) 1798000 [startup+25.502 s] /proc/loadavg: 1.05 1.15 1.11 2/82 18766 /proc/meminfo: memFree=1673056/2055888 swapFree=4087308/4096564 [pid=18750] ppid=18748 vsize=1789012 CPUtime=28.2 /proc/18750/stat : 18750 (java) S 18748 18750 7039 0 -1 0 62306 0 1 0 2786 34 0 0 19 0 13 0 115336748 1831948288 32856 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/18750/statm: 447253 32856 1325 9 0 444864 0 [pid=18750/tid=18752] ppid=18748 vsize=1789012 CPUtime=24 /proc/18750/task/18752/stat : 18752 (java) R 18748 18750 7039 0 -1 64 38388 0 1 0 2379 21 0 0 25 0 13 0 115336749 1831948288 32856 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109811926 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18753] ppid=18748 vsize=1789012 CPUtime=0.4 /proc/18750/task/18753/stat : 18753 (java) S 18748 18750 7039 0 -1 64 6923 0 0 0 37 3 0 0 16 0 13 0 115336751 1831948288 32856 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18750/tid=18754] ppid=18748 vsize=1789012 CPUtime=0.39 /proc/18750/task/18754/stat : 18754 (java) S 18748 18750 7039 0 -1 64 5988 0 0 0 37 2 0 0 16 0 13 0 115336751 1831948288 32856 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18755] ppid=18748 vsize=1789012 CPUtime=0.02 /proc/18750/task/18755/stat : 18755 (java) S 18748 18750 7039 0 -1 64 25 0 0 0 1 1 0 0 16 0 13 0 115336753 1831948288 32856 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=18750/tid=18756] ppid=18748 vsize=1789012 CPUtime=0 /proc/18750/task/18756/stat : 18756 (java) S 18748 18750 7039 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 115336753 1831948288 32856 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=18750/tid=18755] ppid=18748 vsize=1795156 CPUtime=0.54 /proc/18750/task/18755/stat : 18755 (java) S 18748 18750 7039 0 -1 64 248 0 0 0 33 21 0 0 16 0 13 0 115336753 1838239744 172068 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18756] ppid=18748 vsize=1795156 CPUtime=0 /proc/18750/task/18756/stat : 18756 (java) S 18748 18750 7039 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 115336753 1838239744 172068 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18757] ppid=18748 vsize=1795156 CPUtime=0 /proc/18750/task/18757/stat : 18757 (java) S 18748 18750 7039 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 115336753 1838239744 172068 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18758] ppid=18748 vsize=1795156 CPUtime=0 /proc/18750/task/18758/stat : 18758 (java) S 18748 18750 7039 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 115336757 1838239744 172068 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18759] ppid=18748 vsize=1795156 CPUtime=2.32 /proc/18750/task/18759/stat : 18759 (java) S 18748 18750 7039 0 -1 64 7511 0 0 0 228 4 0 0 17 0 13 0 115336757 1838239744 172068 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18760] ppid=18748 vsize=1795156 CPUtime=1.64 /proc/18750/task/18760/stat : 18760 (java) S 18748 18750 7039 0 -1 64 6951 0 0 0 161 3 0 0 16 0 13 0 115336757 1838239744 172068 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18750/tid=18761] ppid=18748 vsize=1795156 CPUtime=0 /proc/18750/task/18761/stat : 18761 (java) S 18748 18750 7039 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 115336757 1838239744 172068 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18762] ppid=18748 vsize=1795156 CPUtime=0 /proc/18750/task/18762/stat : 18762 (java) S 18748 18750 7039 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 115336757 1838239744 172068 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18967] ppid=18748 vsize=1795156 CPUtime=0 /proc/18750/task/18967/stat : 18967 (java) S 18748 18750 7039 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 115392614 1838239744 172068 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1565.38 Current children cumulated vsize (KiB) 1795156 [startup+1602.3 s] /proc/loadavg: 1.07 1.03 1.00 2/82 18967 /proc/meminfo: memFree=1098824/2055888 swapFree=4087308/4096564 [pid=18750] ppid=18748 vsize=1795156 CPUtime=1626.76 /proc/18750/stat : 18750 (java) S 18748 18750 7039 0 -1 0 275500 0 1 0 162522 154 0 0 19 0 13 0 115336748 1838239744 176125 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/18750/statm: 448789 176125 1327 9 0 446400 0 [pid=18750/tid=18752] ppid=18748 vsize=1795156 CPUtime=1577 /proc/18750/task/18752/stat : 18752 (java) R 18748 18750 7039 0 -1 64 97269 0 1 0 157649 51 0 0 25 0 13 0 115336749 1838239744 176125 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109812129 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18753] ppid=18748 vsize=1795156 CPUtime=22.57 /proc/18750/task/18753/stat : 18753 (java) S 18748 18750 7039 0 -1 64 82685 0 0 0 2222 35 0 0 16 0 13 0 115336751 1838239744 176125 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18754] ppid=18748 vsize=1795156 CPUtime=22.61 /proc/18750/task/18754/stat : 18754 (java) S 18748 18750 7039 0 -1 64 80109 0 0 0 2226 35 0 0 16 0 13 0 115336751 1838239744 176125 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18750/tid=18755] ppid=18748 vsize=1795156 CPUtime=0.55 /proc/18750/task/18755/stat : 18755 (java) S 18748 18750 7039 0 -1 64 248 0 0 0 33 22 0 0 16 0 13 0 115336753 1838239744 176125 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18756] ppid=18748 vsize=1795156 CPUtime=0 /proc/18750/task/18756/stat : 18756 (java) S 18748 18750 7039 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 115336753 1838239744 176125 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18757] ppid=18748 vsize=1795156 CPUtime=0 /proc/18750/task/18757/stat : 18757 (java) S 18748 18750 7039 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 115336753 1838239744 176125 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18758] ppid=18748 vsize=1795156 CPUtime=0 /proc/18750/task/18758/stat : 18758 (java) S 18748 18750 7039 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 115336757 1838239744 176125 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18759] ppid=18748 vsize=1795156 CPUtime=2.32 /proc/18750/task/18759/stat : 18759 (java) S 18748 18750 7039 0 -1 64 7511 0 0 0 228 4 0 0 17 0 13 0 115336757 1838239744 176125 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18760] ppid=18748 vsize=1795156 CPUtime=1.64 /proc/18750/task/18760/stat : 18760 (java) S 18748 18750 7039 0 -1 64 6951 0 0 0 161 3 0 0 16 0 13 0 115336757 1838239744 176125 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18750/tid=18761] ppid=18748 vsize=1795156 CPUtime=0 /proc/18750/task/18761/stat : 18761 (java) S 18748 18750 7039 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 115336757 1838239744 176125 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18762] ppid=18748 vsize=1795156 CPUtime=0 /proc/18750/task/18762/stat : 18762 (java) S 18748 18750 7039 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 115336757 1838239744 176125 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18967] ppid=18748 vsize=1795156 CPUtime=0 /proc/18750/task/18967/stat : 18967 (java) S 18748 18750 7039 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 115392614 1838239744 176125 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1626.76 Current children cumulated vsize (KiB) 1795156 [startup+1662.3 s] /proc/loadavg: 1.02 1.03 1.00 2/82 18967 /proc/meminfo: memFree=1081928/2055888 swapFree=4087308/4096564 [pid=18750] ppid=18748 vsize=1795156 CPUtime=1688.15 /proc/18750/stat : 18750 (java) S 18748 18750 7039 0 -1 0 280140 0 1 0 168659 156 0 0 19 0 13 0 115336748 1838239744 180342 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/18750/statm: 448789 180342 1327 9 0 446400 0 [pid=18750/tid=18752] ppid=18748 vsize=1795156 CPUtime=1635.52 /proc/18750/task/18752/stat : 18752 (java) R 18748 18750 7039 0 -1 64 97335 0 1 0 163501 51 0 0 25 0 13 0 115336749 1838239744 180342 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109811936 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18753] ppid=18748 vsize=1795156 CPUtime=24 /proc/18750/task/18753/stat : 18753 (java) S 18748 18750 7039 0 -1 64 84922 0 0 0 2364 36 0 0 16 0 13 0 115336751 1838239744 180342 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18754] ppid=18748 vsize=1795156 CPUtime=24.04 /proc/18750/task/18754/stat : 18754 (java) S 18748 18750 7039 0 -1 64 82445 0 0 0 2368 36 0 0 16 0 13 0 115336751 1838239744 180342 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18750/tid=18755] ppid=18748 vsize=1795156 CPUtime=0.56 /proc/18750/task/18755/stat : 18755 (java) S 18748 18750 7039 0 -1 64 249 0 0 0 34 22 0 0 16 0 13 0 115336753 1838239744 180342 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=18750/tid=18756] ppid=18748 vsize=1795156 CPUtime=0 /proc/18750/task/18756/stat : 18756 (java) S 18748 18750 7039 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 115336753 1838239744 180342 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18757] ppid=18748 vsize=1795156 CPUtime=0 /proc/18750/task/18757/stat : 18757 (java) S 18748 18750 7039 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 115336753 1838239744 180342 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18758] ppid=18748 vsize=1795156 CPUtime=0 /proc/18750/task/18758/stat : 18758 (java) S 18748 18750 7039 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 115336757 1838239744 180342 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18759] ppid=18748 vsize=1795156 CPUtime=2.32 /proc/18750/task/18759/stat : 18759 (java) S 18748 18750 7039 0 -1 64 7511 0 0 0 228 4 0 0 17 0 13 0 115336757 1838239744 180342 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18760] ppid=18748 vsize=1795156 CPUtime=1.64 /proc/18750/task/18760/stat : 18760 (java) S 18748 18750 7039 0 -1 64 6951 0 0 0 161 3 0 0 16 0 13 0 115336757 1838239744 180342 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18750/tid=18761] ppid=18748 vsize=1795156 CPUtime=0 /proc/18750/task/18761/stat : 18761 (java) S 18748 18750 7039 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 115336757 1838239744 180342 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18762] ppid=18748 vsize=1795156 CPUtime=0 /proc/18750/task/18762/stat : 18762 (java) S 18748 18750 7039 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 115336757 1838239744 180342 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18967] ppid=18748 vsize=1795156 CPUtime=0 /proc/18750/task/18967/stat : 18967 (java) S 18748 18750 7039 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 115392614 1838239744 180342 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1688.15 Current children cumulated vsize (KiB) 1795156 [startup+1722.3 s] /proc/loadavg: 1.01 1.02 1.00 2/82 18967 /proc/meminfo: memFree=1066248/2055888 swapFree=4087308/4096564 [pid=18750] ppid=18748 vsize=1795156 CPUtime=1749.55 /proc/18750/stat : 18750 (java) S 18748 18750 7039 0 -1 0 284445 0 1 0 174796 159 0 0 19 0 13 0 115336748 1838239744 184230 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/18750/statm: 448789 184230 1327 9 0 446400 0 [pid=18750/tid=18752] ppid=18748 vsize=1795156 CPUtime=1694.01 /proc/18750/task/18752/stat : 18752 (java) R 18748 18750 7039 0 -1 64 97401 0 1 0 169349 52 0 0 25 0 13 0 115336749 1838239744 184230 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109812277 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18753] ppid=18748 vsize=1795156 CPUtime=25.45 /proc/18750/task/18753/stat : 18753 (java) S 18748 18750 7039 0 -1 64 86922 0 0 0 2508 37 0 0 16 0 13 0 115336751 1838239744 184230 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18754] ppid=18748 vsize=1795156 CPUtime=25.49 /proc/18750/task/18754/stat : 18754 (java) S 18748 18750 7039 0 -1 64 84683 0 0 0 2512 37 0 0 17 0 13 0 115336751 1838239744 184230 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18750/tid=18755] ppid=18748 vsize=1795156 CPUtime=0.58 /proc/18750/task/18755/stat : 18755 (java) S 18748 18750 7039 0 -1 64 250 0 0 0 35 23 0 0 16 0 13 0 115336753 1838239744 184230 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18756] ppid=18748 vsize=1795156 CPUtime=0 /proc/18750/task/18756/stat : 18756 (java) S 18748 18750 7039 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 115336753 1838239744 184230 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18757] ppid=18748 vsize=1795156 CPUtime=0 /proc/18750/task/18757/stat : 18757 (java) S 18748 18750 7039 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 115336753 1838239744 184230 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18758] ppid=18748 vsize=1795156 CPUtime=0 /proc/18750/task/18758/stat : 18758 (java) S 18748 18750 7039 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 115336757 1838239744 184230 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18759] ppid=18748 vsize=1795156 CPUtime=2.32 /proc/18750/task/18759/stat : 18759 (java) S 18748 18750 7039 0 -1 64 7511 0 0 0 228 4 0 0 17 0 13 0 115336757 1838239744 184230 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18760] ppid=18748 vsize=1795156 CPUtime=1.64 /proc/18750/task/18760/stat : 18760 (java) S 18748 18750 7039 0 -1 64 6951 0 0 0 161 3 0 0 16 0 13 0 115336757 1838239744 184230 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18750/tid=18761] ppid=18748 vsize=1795156 CPUtime=0 /proc/18750/task/18761/stat : 18761 (java) S 18748 18750 7039 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 115336757 1838239744 184230 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18762] ppid=18748 vsize=1795156 CPUtime=0 /proc/18750/task/18762/stat : 18762 (java) S 18748 18750 7039 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 115336757 1838239744 184230 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18967] ppid=18748 vsize=1795156 CPUtime=0 /proc/18750/task/18967/stat : 18967 (java) S 18748 18750 7039 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 115392614 1838239744 184230 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1749.55 Current children cumulated vsize (KiB) 1795156 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1771.6 s] /proc/loadavg: 1.00 1.01 1.00 2/82 18967 /proc/meminfo: memFree=1052232/2055888 swapFree=4087308/4096564 [pid=18750] ppid=18748 vsize=1795156 CPUtime=1800.02 /proc/18750/stat : 18750 (java) S 18748 18750 7039 0 -1 0 288377 0 1 0 179841 161 0 0 19 0 13 0 115336748 1838239744 187684 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/18750/statm: 448789 187684 1327 9 0 446400 0 [pid=18750/tid=18752] ppid=18748 vsize=1795156 CPUtime=1742.05 /proc/18750/task/18752/stat : 18752 (java) R 18748 18750 7039 0 -1 64 97455 0 1 0 174153 52 0 0 25 0 13 0 115336749 1838239744 187684 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109812256 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18753] ppid=18748 vsize=1795156 CPUtime=26.66 /proc/18750/task/18753/stat : 18753 (java) S 18748 18750 7039 0 -1 64 88968 0 0 0 2628 38 0 0 16 0 13 0 115336751 1838239744 187684 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18754] ppid=18748 vsize=1795156 CPUtime=26.71 /proc/18750/task/18754/stat : 18754 (java) S 18748 18750 7039 0 -1 64 86515 0 0 0 2633 38 0 0 16 0 13 0 115336751 1838239744 187684 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18750/tid=18755] ppid=18748 vsize=1795156 CPUtime=0.59 /proc/18750/task/18755/stat : 18755 (java) S 18748 18750 7039 0 -1 64 250 0 0 0 36 23 0 0 16 0 13 0 115336753 1838239744 187684 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18756] ppid=18748 vsize=1795156 CPUtime=0 /proc/18750/task/18756/stat : 18756 (java) S 18748 18750 7039 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 115336753 1838239744 187684 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18757] ppid=18748 vsize=1795156 CPUtime=0 /proc/18750/task/18757/stat : 18757 (java) S 18748 18750 7039 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 115336753 1838239744 187684 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18758] ppid=18748 vsize=1795156 CPUtime=0 /proc/18750/task/18758/stat : 18758 (java) S 18748 18750 7039 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 115336757 1838239744 187684 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18759] ppid=18748 vsize=1795156 CPUtime=2.32 /proc/18750/task/18759/stat : 18759 (java) S 18748 18750 7039 0 -1 64 7511 0 0 0 228 4 0 0 17 0 13 0 115336757 1838239744 187684 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18760] ppid=18748 vsize=1795156 CPUtime=1.64 /proc/18750/task/18760/stat : 18760 (java) S 18748 18750 7039 0 -1 64 6951 0 0 0 161 3 0 0 16 0 13 0 115336757 1838239744 187684 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18750/tid=18761] ppid=18748 vsize=1795156 CPUtime=0 /proc/18750/task/18761/stat : 18761 (java) S 18748 18750 7039 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 115336757 1838239744 187684 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18762] ppid=18748 vsize=1795156 CPUtime=0 /proc/18750/task/18762/stat : 18762 (java) S 18748 18750 7039 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 115336757 1838239744 187684 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18750/tid=18967] ppid=18748 vsize=1795156 CPUtime=0 /proc/18750/task/18967/stat : 18967 (java) S 18748 18750 7039 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 115392614 1838239744 187684 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1795156 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1771.71 s] /proc/loadavg: 1.00 1.01 1.00 2/82 18967 /proc/meminfo: memFree=1052232/2055888 swapFree=4087308/4096564 [pid=18750] ppid=18748 vsize=0 CPUtime=1800.17 /proc/18750/stat : 18750 (java) Z 18748 18750 7039 0 -1 1036 288398 0 1 0 179851 166 0 0 15 0 2 0 115336748 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/18750/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1771.78 CPU time (s): 1800.24 CPU user time (s): 1798.51 CPU system time (s): 1.72774 CPU usage (%): 101.606 Max. virtual memory (cumulated for all children) (KiB): 1799944 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.51 system time used= 1.72774 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 288398 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 58624 involuntary context switches= 44901 runsolver used 1.82172 second user time and 4.68729 second system time The end
Begin job on node76 on Sun Apr 15 21:57:02 UTC 2007 IDJOB= 353732 IDBENCH= 2265 IDSOLVER= 160 FILE ID= node76/353732-1176674222 PBS_JOBID= 4559920 Free space on /tmp= 66644 MiB SOLVER NAME= sat4jPseudoCP 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-1.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/353732-1176674222/sat4jPseudoCP.jar /tmp/evaluation/353732-1176674222/instance-353732-1176674222.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node76/watcher-353732-1176674222 -o ROOT/results/node76/solver-353732-1176674222 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/353732-1176674222/sat4jPseudoCP.jar /tmp/evaluation/353732-1176674222/instance-353732-1176674222.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= a2418d45f4247bab260506429e96e746 RANDOM SEED= 295713284 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node76.alineos.net 2.6.9-34.ELsmp #1 SMP Thu Mar 9 06:23:23 GMT 2006 x86_64 x86_64 x86_64 GNU/Linux /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.277 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 : 6006.17 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.277 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 : 5999.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055888 kB MemFree: 1800456 kB Buffers: 61848 kB Cached: 136984 kB SwapCached: 3264 kB Active: 126112 kB Inactive: 87612 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055888 kB LowFree: 1800456 kB SwapTotal: 4096564 kB SwapFree: 4087308 kB Dirty: 6748 kB Writeback: 0 kB Mapped: 19208 kB Slab: 28128 kB Committed_AS: 4348012 kB PageTables: 1440 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66644 MiB End job on node76 on Sun Apr 15 22:26:36 UTC 2007