Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | -41 | 1800.67 | 1801.23 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-5.opb |
MD5SUM | 98c81efbf429745622d6705fab70d2ee |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -54 |
Best CPU time to get the best result obtained on this benchmark | 1800.03 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -54 |
Optimality of the best value was proved | NO |
Number of variables | 1400 |
Total number of constraints | 109601 |
Number of constraints which are clauses | 109601 |
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 | 1400 |
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 | 1400 |
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 | 1400 |
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.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.69/0.77 c ...done 0.69/0.77 c #vars=1400 #constraints=109602 hasObjective=yes 1.19/1.25 c res. mode=mod 1.19/1.25 c VSIDS like heuristics 1.19/1.25 c complete search running 1.29/1.33 c nbDecision=35 #constraints=109602 1.29/1.33 c linear search for optimum 1.29/1.33 o -35 1.39/1.43 c nbDecision=40 #constraints=109608 1.39/1.43 o -36 1.69/1.70 c nbDecision=62 #constraints=109626 1.69/1.70 o -38 3.39/3.46 c nbDecision=198 #constraints=109750 3.39/3.46 o -39 6.69/6.75 c restart after 401 decisions 7.49/7.51 c nbDecision=455 #constraints=109973 7.49/7.51 o -40 8.29/8.34 c nbDecision=500 #constraints=110021 14.09/14.19 c restart after 801 decisions 18.39/18.41 c nbDecision=1000 #constraints=110463 30.18/30.24 c nbDecision=1500 #constraints=110951 32.88/32.95 c restart after 1601 decisions 45.87/45.92 c nbDecision=2000 #constraints=111409 62.68/62.73 c nbDecision=2500 #constraints=111907 81.17/81.21 c nbDecision=3000 #constraints=112364 88.67/88.76 c restart after 3201 decisions 106.76/106.87 c nbDecision=3500 #constraints=112772 129.76/129.87 c nbDecision=4000 #constraints=113217 130.35/130.42 c nbDecision=4011 #constraints=113222 130.35/130.42 o -41 155.45/155.55 c nbDecision=4500 #constraints=113675 183.94/184.03 c nbDecision=5000 #constraints=114145 214.34/214.44 c nbDecision=5500 #constraints=114605 247.73/247.87 c nbDecision=6000 #constraints=115066 275.52/275.69 c restart after 6401 decisions 290.02/290.13 c nbDecision=6500 #constraints=115501 328.91/329.04 c nbDecision=7000 #constraints=115954 368.70/368.88 c nbDecision=7500 #constraints=116412 410.89/411.01 c nbDecision=8000 #constraints=116899 457.48/457.63 c nbDecision=8500 #constraints=117379 506.46/506.65 c nbDecision=9000 #constraints=117860 556.15/556.31 c nbDecision=9500 #constraints=118327 612.63/612.87 c nbDecision=10000 #constraints=118808 673.51/673.73 c nbDecision=10500 #constraints=119305 736.70/737.05 c nbDecision=11000 #constraints=119793 800.98/801.35 c nbDecision=11500 #constraints=120273 867.86/868.23 c nbDecision=12000 #constraints=120750 934.75/935.13 c nbDecision=12500 #constraints=121209 979.44/979.81 c restart after 12801 decisions 1019.03/1019.41 c nbDecision=13000 #constraints=121632 1072.31/1072.71 c nbDecision=13500 #constraints=122030 1146.80/1147.21 c nbDecision=14000 #constraints=122516 1219.97/1220.48 c nbDecision=14500 #constraints=123010 1298.96/1299.46 c nbDecision=15000 #constraints=123497 1375.74/1376.24 c nbDecision=15500 #constraints=123986 1454.12/1454.64 c nbDecision=16000 #constraints=124479 1539.09/1539.68 c nbDecision=16500 #constraints=124962 1628.28/1628.80 c nbDecision=17000 #constraints=125458 1730.95/1731.54 c nbDecision=17500 #constraints=125939 1800.04/1800.60 Received signal 15 1800.43/1801.01 1800.43/1801.01 s SATISFIABLE 1800.43/1801.01 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.43/1801.01 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.43/1801.01 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.43/1801.01 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.43/1801.01 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 x126 1800.43/1801.01 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 1800.43/1801.01 v -x148 -x149 -x150 x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 1800.43/1801.01 v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1800.43/1801.01 v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 1800.43/1801.01 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 x226 -x227 -x228 -x229 -x230 -x231 1800.43/1801.01 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 x251 -x252 1800.43/1801.01 v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 1800.43/1801.01 v -x274 -x275 x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 1800.43/1801.01 v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 1800.43/1801.01 v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 1800.43/1801.01 v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 1800.43/1801.01 v -x358 x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 x376 -x377 -x378 1800.43/1801.01 v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 1800.43/1801.01 v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 1800.43/1801.01 v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 1800.43/1801.01 v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 1800.43/1801.01 v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 1800.43/1801.01 v -x484 -x485 -x486 -x487 x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 x502 -x503 -x504 1800.43/1801.01 v -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 1800.43/1801.01 v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 x541 -x542 -x543 -x544 -x545 -x546 1800.43/1801.01 v -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 1800.43/1801.01 v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 1800.43/1801.01 v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 1800.43/1801.01 v -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 x629 -x630 1800.43/1801.01 v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 1800.43/1801.01 v -x652 -x653 -x654 -x655 -x656 -x657 -x658 x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 1800.43/1801.01 v -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 1800.43/1801.01 v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 1800.43/1801.01 v -x715 -x716 -x717 x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 1800.43/1801.01 v -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 1800.43/1801.01 v -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 1800.43/1801.01 v -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 1800.43/1801.01 v -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 1800.43/1801.01 v -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 1800.43/1801.01 v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 x861 1800.43/1801.01 v -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 1800.43/1801.01 v -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 1800.43/1801.01 v -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 1800.43/1801.01 v -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 x939 -x940 -x941 -x942 -x943 -x944 -x945 1800.43/1801.01 v -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 1800.43/1801.01 v -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 1800.43/1801.01 v -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 1800.43/1801.01 v -x1007 -x1008 -x1009 x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 1800.43/1801.01 v -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 1800.43/1801.01 v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 1800.43/1801.01 v -x1058 x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 1800.43/1801.01 v -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 1800.43/1801.01 v -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 1800.43/1801.01 v -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 1800.43/1801.01 v -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 1800.43/1801.01 v -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 1800.43/1801.01 v -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 1800.43/1801.01 v -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 1800.43/1801.01 v -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 1800.43/1801.01 v -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 1800.43/1801.01 v -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 1800.43/1801.01 v -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 1800.43/1801.01 v -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 1800.43/1801.01 v -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 1800.43/1801.01 v -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 1800.43/1801.01 v -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 1800.43/1801.01 v -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 1800.43/1801.01 v -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 x1363 1800.43/1801.01 v -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 1800.43/1801.01 v -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 1800.43/1801.01 v -x1398 -x1399 -x1400 1800.43/1801.01 1800.43/1801.01 c user time= 1799.15 s 1800.43/1801.01 c system time= 1.3048 s 1800.43/1801.01 c wall clock time=1801.01
OK -41
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node55/watcher-357188-1176990589 -o ROOT/results/node55/solver-357188-1176990589 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357188-1176990589/instance-357188-1176990589.opb mod 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: 1.00 1.00 1.00 3/64 8809 /proc/meminfo: memFree=1749068/2055920 swapFree=4184496/4192956 [pid=8809] ppid=8807 vsize=1468 CPUtime=0 /proc/8809/stat : 8809 (oree) R 8807 8809 8624 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 146968958 1503232 164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711185 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8809/statm: 367 164 130 317 0 46 0 [startup+0.031917 s] /proc/loadavg: 1.00 1.00 1.00 3/64 8809 /proc/meminfo: memFree=1749068/2055920 swapFree=4184496/4192956 [pid=8809] ppid=8807 vsize=2128 CPUtime=0.03 /proc/8809/stat : 8809 (oree) R 8807 8809 8624 0 -1 4194304 327 0 0 0 3 0 0 0 18 0 1 0 146968958 2179072 309 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8809/statm: 532 310 130 317 0 211 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2128 [startup+0.101923 s] /proc/loadavg: 1.00 1.00 1.00 3/64 8809 /proc/meminfo: memFree=1749068/2055920 swapFree=4184496/4192956 [pid=8809] ppid=8807 vsize=3640 CPUtime=0.09 /proc/8809/stat : 8809 (oree) R 8807 8809 8624 0 -1 4194304 710 0 0 0 9 0 0 0 18 0 1 0 146968958 3727360 692 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8809/statm: 910 692 130 317 0 589 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3640 [startup+0.301941 s] /proc/loadavg: 1.00 1.00 1.00 3/64 8809 /proc/meminfo: memFree=1749068/2055920 swapFree=4184496/4192956 [pid=8809] ppid=8807 vsize=7992 CPUtime=0.29 /proc/8809/stat : 8809 (oree) R 8807 8809 8624 0 -1 4194304 1818 0 0 0 29 0 0 0 19 0 1 0 146968958 8183808 1767 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8809/statm: 1998 1768 130 317 0 1677 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7992 [startup+0.701979 s] /proc/loadavg: 1.00 1.00 1.00 3/64 8809 /proc/meminfo: memFree=1749068/2055920 swapFree=4184496/4192956 [pid=8809] ppid=8807 vsize=16696 CPUtime=0.69 /proc/8809/stat : 8809 (oree) R 8807 8809 8624 0 -1 4194304 4036 0 0 0 68 1 0 0 22 0 1 0 146968958 17096704 3920 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8809/statm: 4174 3920 130 317 0 3853 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16696 [startup+1.50106 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8810 /proc/meminfo: memFree=1725572/2055920 swapFree=4184496/4192956 [pid=8809] ppid=8807 vsize=33916 CPUtime=1.49 /proc/8809/stat : 8809 (oree) R 8807 8809 8624 0 -1 4194304 8413 0 0 0 146 3 0 0 25 0 1 0 146968958 34729984 7547 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284594 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8809/statm: 8479 7547 170 317 0 8158 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 33916 [startup+3.10121 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8810 /proc/meminfo: memFree=1718788/2055920 swapFree=4184496/4192956 [pid=8809] ppid=8807 vsize=39144 CPUtime=3.09 /proc/8809/stat : 8809 (oree) R 8807 8809 8624 0 -1 4194304 9630 0 0 0 306 3 0 0 25 0 1 0 146968958 40083456 8764 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8809/statm: 9786 8764 170 317 0 9465 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 39144 [startup+6.30151 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8810 /proc/meminfo: memFree=1702148/2055920 swapFree=4184496/4192956 [pid=8809] ppid=8807 vsize=55256 CPUtime=6.29 /proc/8809/stat : 8809 (oree) R 8807 8809 8624 0 -1 4194304 13374 0 0 0 624 5 0 0 25 0 1 0 146968958 56582144 12508 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8809/statm: 13814 12508 170 317 0 13493 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 55256 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8810 /proc/meminfo: memFree=1678980/2055920 swapFree=4184496/4192956 [pid=8809] ppid=8807 vsize=78640 CPUtime=12.68 /proc/8809/stat : 8809 (oree) R 8807 8809 8624 0 -1 4194304 18908 0 0 0 1262 6 0 0 25 0 1 0 146968958 80527360 18042 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8809/statm: 19660 18042 170 317 0 19339 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 78640 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8810 /proc/meminfo: memFree=1641036/2055920 swapFree=4184496/4192956 [pid=8809] ppid=8807 vsize=120160 CPUtime=25.49 /proc/8809/stat : 8809 (oree) R 8807 8809 8624 0 -1 4194304 28114 0 0 0 2540 9 0 0 25 0 1 0 146968958 123043840 27248 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8809/statm: 30040 27248 170 317 0 29719 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 120160 [startup+51.1018 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8810 /proc/meminfo: memFree=1596108/2055920 swapFree=4184496/4192956 [pid=8809] ppid=8807 vsize=167264 CPUtime=51.07 /proc/8809/stat : 8809 (oree) R 8807 8809 8624 0 -1 4194304 39351 0 0 0 5093 14 0 0 25 0 1 0 146968958 171278336 38485 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8809/statm: 41816 38485 170 317 0 41495 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 167264 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8810 /proc/meminfo: memFree=1516556/2055920 swapFree=4184496/4192956 [pid=8809] ppid=8807 vsize=255248 CPUtime=102.27 /proc/8809/stat : 8809 (oree) R 8807 8809 8624 0 -1 4194304 59021 0 0 0 10203 24 0 0 25 0 1 0 146968958 261373952 58155 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8809/statm: 63812 58155 170 317 0 63491 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 255248 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8810 /proc/meminfo: memFree=1430988/2055920 swapFree=4184496/4192956 [pid=8809] ppid=8807 vsize=361544 CPUtime=162.25 /proc/8809/stat : 8809 (oree) R 8807 8809 8624 0 -1 4194304 80531 0 0 0 16191 34 0 0 25 0 1 0 146968958 370221056 79665 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8809/statm: 90386 79665 170 317 0 90065 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 361544 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8810 /proc/meminfo: memFree=1374540/2055920 swapFree=4184496/4192956 [pid=8809] ppid=8807 vsize=416828 CPUtime=222.24 /proc/8809/stat : 8809 (oree) R 8807 8809 8624 0 -1 4194304 94426 0 0 0 22184 40 0 0 25 0 1 0 146968958 426831872 93560 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8809/statm: 104207 93560 170 317 0 103886 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 416828 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8810 /proc/meminfo: memFree=1330572/2055920 swapFree=4184496/4192956 [pid=8809] ppid=8807 vsize=460064 CPUtime=282.22 /proc/8809/stat : 8809 (oree) R 8807 8809 8624 0 -1 4194304 105369 0 0 0 28178 44 0 0 25 0 1 0 146968958 471105536 104503 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8809/statm: 115016 104503 170 317 0 114695 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 460064 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8810 /proc/meminfo: memFree=1290636/2055920 swapFree=4184496/4192956 [pid=8809] ppid=8807 vsize=499624 CPUtime=342.21 /proc/8809/stat : 8809 (oree) R 8807 8809 8624 0 -1 4194304 115370 0 0 0 34172 49 0 0 25 0 1 0 146968958 511614976 114504 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8809/statm: 124906 114504 170 317 0 124585 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 499624 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8810 /proc/meminfo: memFree=1251340/2055920 swapFree=4184496/4192956 [pid=8809] ppid=8807 vsize=539640 CPUtime=402.19 /proc/8809/stat : 8809 (oree) R 8807 8809 8624 0 -1 4194304 125270 0 0 0 40165 54 0 0 25 0 1 0 146968958 552591360 124404 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563634 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8809/statm: 134910 124404 170 317 0 134589 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 539640 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8810 /proc/meminfo: memFree=1213644/2055920 swapFree=4184496/4192956 [pid=8809] ppid=8807 vsize=577388 CPUtime=462.18 /proc/8809/stat : 8809 (oree) R 8807 8809 8624 0 -1 4194304 134594 0 0 0 46159 59 0 0 25 0 1 0 146968958 591245312 133728 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8809/statm: 144347 133728 170 317 0 144026 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 577388 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8810 /proc/meminfo: memFree=1138956/2055920 swapFree=4184496/4192956 [pid=8809] ppid=8807 vsize=696788 CPUtime=522.16 /proc/8809/stat : 8809 (oree) R 8807 8809 8624 0 -1 4194304 153303 0 0 0 52150 66 0 0 25 0 1 0 146968958 713510912 152437 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8809/statm: 174197 152437 170 317 0 173876 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 696788 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8810 /proc/meminfo: memFree=1107084/2055920 swapFree=4184496/4192956 [pid=8809] ppid=8807 vsize=728640 CPUtime=582.14 /proc/8809/stat : 8809 (oree) R 8807 8809 8624 0 -1 4194304 161145 0 0 0 58145 69 0 0 25 0 1 0 146968958 746127360 160279 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8809/statm: 182160 160279 170 317 0 181839 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 728640 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8810 /proc/meminfo: memFree=1077260/2055920 swapFree=4184496/4192956 [pid=8809] ppid=8807 vsize=758256 CPUtime=642.13 /proc/8809/stat : 8809 (oree) R 8807 8809 8624 0 -1 4194304 168536 0 0 0 64141 72 0 0 25 0 1 0 146968958 776454144 167670 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604147 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8809/statm: 189564 167670 170 317 0 189243 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 758256 ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9008 /proc/meminfo: memFree=946572/2055920 swapFree=4184496/4192956 [pid=8809] ppid=8807 vsize=891036 CPUtime=941.94 /proc/8809/stat : 8809 (oree) R 8807 8809 8624 0 -1 4194304 201168 0 0 0 94105 89 0 0 25 0 1 0 146968958 912420864 200302 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8809/statm: 222759 200302 170 317 0 222438 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 891036 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9008 /proc/meminfo: memFree=929868/2055920 swapFree=4184496/4192956 [pid=8809] ppid=8807 vsize=906308 CPUtime=1001.93 /proc/8809/stat : 8809 (oree) R 8807 8809 8624 0 -1 4194304 205330 0 0 0 100102 91 0 0 25 0 1 0 146968958 928059392 204464 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8809/statm: 226577 204464 170 317 0 226256 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 906308 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9008 /proc/meminfo: memFree=903372/2055920 swapFree=4184496/4192956 [pid=8809] ppid=8807 vsize=932356 CPUtime=1061.92 /proc/8809/stat : 8809 (oree) R 8807 8809 8624 0 -1 4194304 211977 0 0 0 106098 94 0 0 25 0 1 0 146968958 954732544 211111 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8809/statm: 233089 211111 170 317 0 232768 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 932356 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9008 /proc/meminfo: memFree=881356/2055920 swapFree=4184496/4192956 [pid=8809] ppid=8807 vsize=956184 CPUtime=1121.9 /proc/8809/stat : 8809 (oree) R 8807 8809 8624 0 -1 4194304 217450 0 0 0 112094 96 0 0 25 0 1 0 146968958 979132416 216584 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8809/statm: 239046 216584 170 317 0 238725 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 956184 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9008 /proc/meminfo: memFree=857228/2055920 swapFree=4184496/4192956 [pid=8809] ppid=8807 vsize=979680 CPUtime=1181.89 /proc/8809/stat : 8809 (oree) R 8807 8809 8624 0 -1 4194304 223512 0 0 0 118091 98 0 0 25 0 1 0 146968958 1003192320 222646 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8809/statm: 244920 222646 170 317 0 244599 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 979680 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 3/65 9008 /proc/meminfo: memFree=833676/2055920 swapFree=4184496/4192956 [pid=8809] ppid=8807 vsize=1002420 CPUtime=1241.88 /proc/8809/stat : 8809 (oree) R 8807 8809 8624 0 -1 4194304 229321 0 0 0 124087 101 0 0 25 0 1 0 146968958 1026478080 228455 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8809/statm: 250605 228455 170 317 0 250284 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 1002420 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9008 /proc/meminfo: memFree=810700/2055920 swapFree=4184496/4192956 [pid=8809] ppid=8807 vsize=1024232 CPUtime=1301.86 /proc/8809/stat : 8809 (oree) R 8807 8809 8624 0 -1 4194304 234996 0 0 0 130084 102 0 0 25 0 1 0 146968958 1048813568 234130 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8809/statm: 256058 234130 170 317 0 255737 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 1024232 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9008 /proc/meminfo: memFree=789516/2055920 swapFree=4184496/4192956 [pid=8809] ppid=8807 vsize=1047808 CPUtime=1361.85 /proc/8809/stat : 8809 (oree) R 8807 8809 8624 0 -1 4194304 240332 0 0 0 136081 104 0 0 25 0 1 0 146968958 1072955392 239466 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8809/statm: 261952 239466 170 317 0 261631 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 1047808 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9008 /proc/meminfo: memFree=767052/2055920 swapFree=4184496/4192956 [pid=8809] ppid=8807 vsize=1069008 CPUtime=1421.83 /proc/8809/stat : 8809 (oree) R 8807 8809 8624 0 -1 4194304 245871 0 0 0 142077 106 0 0 25 0 1 0 146968958 1094664192 245005 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8809/statm: 267252 245005 170 317 0 266931 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 1069008 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9008 /proc/meminfo: memFree=744396/2055920 swapFree=4184496/4192956 [pid=8809] ppid=8807 vsize=1091144 CPUtime=1481.81 /proc/8809/stat : 8809 (oree) R 8807 8809 8624 0 -1 4194304 251566 0 0 0 148072 109 0 0 25 0 1 0 146968958 1117331456 250700 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8809/statm: 272786 250700 170 317 0 272465 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 1091144 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9008 /proc/meminfo: memFree=723532/2055920 swapFree=4184496/4192956 [pid=8809] ppid=8807 vsize=1110720 CPUtime=1541.8 /proc/8809/stat : 8809 (oree) R 8807 8809 8624 0 -1 4194304 256736 0 0 0 154068 112 0 0 25 0 1 0 146968958 1137377280 255870 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8809/statm: 277680 255870 170 317 0 277359 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 1110720 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9008 /proc/meminfo: memFree=705420/2055920 swapFree=4184496/4192956 [pid=8809] ppid=8807 vsize=1130556 CPUtime=1601.78 /proc/8809/stat : 8809 (oree) R 8807 8809 8624 0 -1 4194304 261284 0 0 0 160065 113 0 0 25 0 1 0 146968958 1157689344 260418 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8809/statm: 282639 260418 170 317 0 282318 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 1130556 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9008 /proc/meminfo: memFree=688268/2055920 swapFree=4184496/4192956 [pid=8809] ppid=8807 vsize=1145932 CPUtime=1661.77 /proc/8809/stat : 8809 (oree) R 8807 8809 8624 0 -1 4194304 265507 0 0 0 166062 115 0 0 25 0 1 0 146968958 1173434368 264641 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8809/statm: 286483 264641 170 317 0 286162 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 1145932 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9008 /proc/meminfo: memFree=671692/2055920 swapFree=4184496/4192956 [pid=8809] ppid=8807 vsize=1163920 CPUtime=1721.75 /proc/8809/stat : 8809 (oree) R 8807 8809 8624 0 -1 4194304 269684 0 0 0 172058 117 0 0 25 0 1 0 146968958 1191854080 268818 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8809/statm: 290980 268818 170 317 0 290659 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 1163920 [startup+1782.3 s] /proc/loadavg: 1.07 1.02 1.00 2/65 9008 /proc/meminfo: memFree=609100/2055920 swapFree=4184496/4192956 [pid=8809] ppid=8807 vsize=1349432 CPUtime=1781.74 /proc/8809/stat : 8809 (oree) R 8807 8809 8624 0 -1 4194304 306650 0 0 0 178045 129 0 0 25 0 1 0 146968958 1381818368 284301 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8809/statm: 337358 284301 170 317 0 337037 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 1349432 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.05 1.01 1.00 2/65 9008 /proc/meminfo: memFree=603788/2055920 swapFree=4184496/4192956 [pid=8809] ppid=8807 vsize=1355188 CPUtime=1800.04 /proc/8809/stat : 8809 (oree) R 8807 8809 8624 0 -1 4194304 307960 0 0 0 179874 130 0 0 25 0 1 0 146968958 1387712512 285611 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8809/statm: 338797 285611 170 317 0 338476 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1355188 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801 s] /proc/loadavg: 1.05 1.01 1.00 2/65 9008 /proc/meminfo: memFree=603788/2055920 swapFree=4184496/4192956 [pid=8809] ppid=8807 vsize=1355324 CPUtime=1800.43 /proc/8809/stat : 8809 (oree) R 8807 8809 8624 0 -1 4194304 307991 0 0 0 179913 130 0 0 25 0 1 0 146968958 1387851776 285642 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134567923 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8809/statm: 338831 285642 170 317 0 338510 0 Current children cumulated CPU time (s) 1800.43 Current children cumulated vsize (KiB) 1355324 [startup+1801.2 s] /proc/loadavg: 1.05 1.01 1.00 2/65 9008 /proc/meminfo: memFree=603788/2055920 swapFree=4184496/4192956 [pid=8809] ppid=8807 vsize=0 CPUtime=1800.63 /proc/8809/stat : 8809 (oree) R 8807 8809 8624 0 -1 4194308 308007 0 0 0 179917 146 0 0 25 0 1 0 146968958 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8809/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.63 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1801.23 CPU time (s): 1800.67 CPU user time (s): 1799.18 CPU system time (s): 1.49577 CPU usage (%): 99.9689 Max. virtual memory (cumulated for all children) (KiB): 1355324 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.18 system time used= 1.49577 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 308007 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 8 involuntary context switches= 2983 runsolver used 1.37479 second user time and 3.60645 second system time The end
Begin job on node55 on Thu Apr 19 13:49:49 UTC 2007 IDJOB= 357188 IDBENCH= 2247 IDSOLVER= 172 FILE ID= node55/357188-1176990589 PBS_JOBID= 4630439 Free space on /tmp= 66351 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-5.opb COMMAND LINE= oree /tmp/evaluation/357188-1176990589/instance-357188-1176990589.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node55/watcher-357188-1176990589 -o ROOT/results/node55/solver-357188-1176990589 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357188-1176990589/instance-357188-1176990589.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 98c81efbf429745622d6705fab70d2ee RANDOM SEED= 368191656 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node55.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 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.216 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.216 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: 1749412 kB Buffers: 19084 kB Cached: 213524 kB SwapCached: 2196 kB Active: 104236 kB Inactive: 137744 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1749412 kB SwapTotal: 4192956 kB SwapFree: 4184496 kB Dirty: 3924 kB Writeback: 0 kB Mapped: 15872 kB Slab: 50624 kB Committed_AS: 1149752 kB PageTables: 1380 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66351 MiB End job on node55 on Thu Apr 19 14:19:52 UTC 2007