Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | -41 | 1800.34 | 1800.96 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-4.opb |
MD5SUM | 09bf68c118cd38b954800f61edb04c4b |
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 | 110038 |
Number of constraints which are clauses | 110038 |
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=110039 hasObjective=yes 1.10/1.17 c res. mode=mod 1.10/1.17 c VSIDS like heuristics 1.10/1.17 c complete search running 1.19/1.24 c nbDecision=41 #constraints=110039 1.19/1.24 c linear search for optimum 1.19/1.24 o -41 4.59/4.69 c restart after 401 decisions 5.49/5.53 c nbDecision=500 #constraints=110294 7.79/7.88 c restart after 801 decisions 10.19/10.25 c nbDecision=1000 #constraints=110543 16.18/16.25 c nbDecision=1500 #constraints=110839 17.49/17.57 c restart after 1601 decisions 23.09/23.15 c nbDecision=2000 #constraints=111124 29.58/29.61 c nbDecision=2500 #constraints=111387 37.08/37.15 c nbDecision=3000 #constraints=111651 40.48/40.54 c restart after 3201 decisions 46.58/46.67 c nbDecision=3500 #constraints=111903 55.07/55.19 c nbDecision=4000 #constraints=112194 62.48/62.52 c nbDecision=4500 #constraints=112440 73.07/73.13 c nbDecision=5000 #constraints=112732 84.27/84.33 c nbDecision=5500 #constraints=113015 97.77/97.82 c nbDecision=6000 #constraints=113365 108.46/108.50 c restart after 6401 decisions 116.06/116.16 c nbDecision=6500 #constraints=113631 127.96/128.01 c nbDecision=7000 #constraints=113879 141.55/141.69 c nbDecision=7500 #constraints=114125 156.85/156.97 c nbDecision=8000 #constraints=114416 176.65/176.71 c nbDecision=8500 #constraints=114746 198.03/198.13 c nbDecision=9000 #constraints=115091 223.43/223.50 c nbDecision=9500 #constraints=115472 248.72/248.80 c nbDecision=10000 #constraints=115825 278.11/278.28 c nbDecision=10500 #constraints=116217 310.61/310.74 c nbDecision=11000 #constraints=116609 342.10/342.27 c nbDecision=11500 #constraints=116960 369.69/369.89 c nbDecision=12000 #constraints=117283 396.68/396.85 c nbDecision=12500 #constraints=117604 414.48/414.60 c restart after 12801 decisions 435.57/435.74 c nbDecision=13000 #constraints=117882 459.96/460.13 c nbDecision=13500 #constraints=118150 499.36/499.55 c nbDecision=14000 #constraints=118482 539.84/540.01 c nbDecision=14500 #constraints=118804 585.53/585.75 c nbDecision=15000 #constraints=119148 624.63/624.84 c nbDecision=15500 #constraints=119484 667.20/667.42 c nbDecision=16000 #constraints=119821 706.07/706.36 c nbDecision=16500 #constraints=120153 747.38/747.73 c nbDecision=17000 #constraints=120475 789.26/789.63 c nbDecision=17500 #constraints=120779 833.74/834.18 c nbDecision=18000 #constraints=121083 872.13/872.54 c nbDecision=18500 #constraints=121383 909.52/909.98 c nbDecision=19000 #constraints=121634 956.90/957.34 c nbDecision=19500 #constraints=121952 1005.09/1005.54 c nbDecision=20000 #constraints=122246 1053.88/1054.30 c nbDecision=20500 #constraints=122586 1103.57/1104.01 c nbDecision=21000 #constraints=122899 1158.15/1158.63 c nbDecision=21500 #constraints=123215 1208.44/1208.91 c nbDecision=22000 #constraints=123529 1263.22/1263.75 c nbDecision=22500 #constraints=123878 1317.81/1318.31 c nbDecision=23000 #constraints=124215 1379.09/1379.60 c nbDecision=23500 #constraints=124570 1435.47/1436.01 c nbDecision=24000 #constraints=124910 1495.76/1496.31 c nbDecision=24500 #constraints=125257 1556.04/1556.65 c nbDecision=25000 #constraints=125606 1609.02/1609.65 c nbDecision=25500 #constraints=125921 1621.02/1621.67 c restart after 25601 decisions 1680.80/1681.42 c nbDecision=26000 #constraints=126200 1732.19/1732.86 c nbDecision=26500 #constraints=126508 1791.07/1791.77 c nbDecision=27000 #constraints=126849 1800.08/1800.70 Received signal 15 1800.08/1800.74 1800.08/1800.74 s SATISFIABLE 1800.08/1800.74 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.08/1800.74 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.08/1800.74 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.08/1800.74 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.08/1800.74 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 1800.08/1800.74 v -x127 -x128 -x129 -x130 x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 1800.08/1800.74 v -x148 -x149 -x150 -x151 -x152 -x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 1800.08/1800.74 v -x169 -x170 -x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1800.08/1800.74 v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 x207 -x208 -x209 -x210 1800.08/1800.74 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 x227 -x228 -x229 -x230 -x231 1800.08/1800.74 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 x252 1800.08/1800.74 v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 1800.08/1800.74 v -x274 -x275 -x276 x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 1800.08/1800.74 v -x295 -x296 -x297 -x298 -x299 -x300 x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 1800.08/1800.74 v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 1800.08/1800.74 v -x337 -x338 -x339 -x340 x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 1800.08/1800.74 v -x358 -x359 -x360 x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 x376 -x377 -x378 1800.08/1800.74 v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 1800.08/1800.74 v -x400 -x401 -x402 -x403 -x404 -x405 x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 1800.08/1800.74 v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 1800.08/1800.74 v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 1800.08/1800.74 v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 x478 -x479 -x480 -x481 -x482 -x483 1800.08/1800.74 v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 1800.08/1800.74 v -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 1800.08/1800.74 v -x526 x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 1800.08/1800.74 v -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 1800.08/1800.74 v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 1800.08/1800.74 v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 x605 -x606 -x607 -x608 -x609 1800.08/1800.74 v -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 1800.08/1800.74 v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 x647 -x648 -x649 -x650 -x651 1800.08/1800.74 v -x652 -x653 -x654 -x655 -x656 -x657 -x658 x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 1800.08/1800.74 v -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 1800.08/1800.74 v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 x712 -x713 -x714 1800.08/1800.74 v -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 1800.08/1800.74 v -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 1800.08/1800.74 v x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 1800.08/1800.74 v -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 1800.08/1800.74 v -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 1800.08/1800.74 v -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 1800.08/1800.74 v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 x855 -x856 -x857 -x858 -x859 -x860 -x861 1800.08/1800.74 v -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 x878 -x879 -x880 -x881 -x882 1800.08/1800.74 v -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 1800.08/1800.74 v -x904 x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 1800.08/1800.74 v -x925 -x926 -x927 -x928 x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 1800.08/1800.74 v -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 1800.08/1800.74 v -x967 -x968 -x969 -x970 -x971 -x972 -x973 x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 1800.08/1800.74 v -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 x1005 -x1006 1800.08/1800.74 v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 1800.08/1800.74 v -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 1800.08/1800.74 v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 1800.08/1800.74 v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 x1070 -x1071 -x1072 -x1073 -x1074 1800.08/1800.74 v -x1075 -x1076 -x1077 -x1078 -x1079 x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 1800.08/1800.74 v -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 1800.08/1800.74 v -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 1800.08/1800.74 v -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 1800.08/1800.74 v -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 1800.08/1800.74 v -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 1800.08/1800.74 v -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 1800.08/1800.74 v x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 1800.08/1800.74 v -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 1800.08/1800.74 v x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 1800.08/1800.74 v -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 1800.08/1800.74 v -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 1800.08/1800.74 v -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 1800.08/1800.74 v -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 1800.08/1800.74 v -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 1800.08/1800.74 v -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 1800.08/1800.74 v -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 1800.08/1800.74 v -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 1800.08/1800.74 v -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 1800.08/1800.74 v -x1398 -x1399 -x1400 1800.08/1800.74 1800.08/1800.74 c user time= 1798.65 s 1800.08/1800.74 c system time= 1.47677 s 1800.08/1800.74 c wall clock time=1800.74
OK -41
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node45/watcher-357187-1176990556 -o ROOT/results/node45/solver-357187-1176990556 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357187-1176990556/instance-357187-1176990556.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: 0.95 0.99 0.97 3/77 31646 /proc/meminfo: memFree=1764488/2055920 swapFree=4157496/4192956 [pid=31646] ppid=31644 vsize=1468 CPUtime=0 /proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 53901311 1503232 164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134831233 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31646/statm: 367 164 130 317 0 46 0 [startup+0.01763 s] /proc/loadavg: 0.95 0.99 0.97 3/77 31646 /proc/meminfo: memFree=1764488/2055920 swapFree=4157496/4192956 [pid=31646] ppid=31644 vsize=1732 CPUtime=0.01 /proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 251 0 0 0 1 0 0 0 18 0 1 0 53901311 1773568 234 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31646/statm: 433 234 130 317 0 112 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1732 [startup+0.101638 s] /proc/loadavg: 0.95 0.99 0.97 3/77 31646 /proc/meminfo: memFree=1764488/2055920 swapFree=4157496/4192956 [pid=31646] ppid=31644 vsize=3640 CPUtime=0.09 /proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 716 0 0 0 9 0 0 0 18 0 1 0 53901311 3727360 698 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31646/statm: 910 699 130 317 0 589 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3640 [startup+0.301658 s] /proc/loadavg: 0.95 0.99 0.97 3/77 31646 /proc/meminfo: memFree=1764488/2055920 swapFree=4157496/4192956 [pid=31646] ppid=31644 vsize=8124 CPUtime=0.29 /proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 1839 0 0 0 29 0 0 0 19 0 1 0 53901311 8318976 1788 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31646/statm: 2031 1789 130 317 0 1710 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8124 [startup+0.701699 s] /proc/loadavg: 0.95 0.99 0.97 3/77 31646 /proc/meminfo: memFree=1764488/2055920 swapFree=4157496/4192956 [pid=31646] ppid=31644 vsize=16828 CPUtime=0.69 /proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 4083 0 0 0 68 1 0 0 22 0 1 0 53901311 17231872 3967 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31646/statm: 4207 3967 130 317 0 3886 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16828 [startup+1.50178 s] /proc/loadavg: 0.95 0.99 0.97 2/78 31647 /proc/meminfo: memFree=1740992/2055920 swapFree=4157496/4192956 [pid=31646] ppid=31644 vsize=33972 CPUtime=1.49 /proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 8435 0 0 0 146 3 0 0 25 0 1 0 53901311 34787328 7566 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31646/statm: 8493 7566 170 317 0 8172 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 33972 [startup+3.10194 s] /proc/loadavg: 0.95 0.99 0.97 2/78 31647 /proc/meminfo: memFree=1733888/2055920 swapFree=4157496/4192956 [pid=31646] ppid=31644 vsize=40944 CPUtime=3.09 /proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 10068 0 0 0 305 4 0 0 25 0 1 0 53901311 41926656 9199 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271329 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31646/statm: 10236 9199 170 317 0 9915 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 40944 [startup+6.30127 s] /proc/loadavg: 0.95 0.99 0.97 2/78 31647 /proc/meminfo: memFree=1721472/2055920 swapFree=4157496/4192956 [pid=31646] ppid=31644 vsize=53852 CPUtime=6.29 /proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 13163 0 0 0 624 5 0 0 25 0 1 0 53901311 55144448 12294 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31646/statm: 13463 12294 170 317 0 13142 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 53852 [startup+12.7019 s] /proc/loadavg: 0.95 0.99 0.97 2/78 31647 /proc/meminfo: memFree=1693888/2055920 swapFree=4157496/4192956 [pid=31646] ppid=31644 vsize=78800 CPUtime=12.69 /proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 19022 0 0 0 1262 7 0 0 25 0 1 0 53901311 80691200 18153 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31646/statm: 19700 18153 170 317 0 19379 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 78800 [startup+25.5012 s] /proc/loadavg: 0.96 0.99 0.97 2/78 31647 /proc/meminfo: memFree=1653952/2055920 swapFree=4157496/4192956 [pid=31646] ppid=31644 vsize=121520 CPUtime=25.48 /proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 28701 0 0 0 2537 11 0 0 25 0 1 0 53901311 124436480 27832 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31646/statm: 30380 27832 170 317 0 30059 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 121520 [startup+51.1018 s] /proc/loadavg: 0.97 0.99 0.97 2/78 31647 /proc/meminfo: memFree=1606336/2055920 swapFree=4157496/4192956 [pid=31646] ppid=31644 vsize=170856 CPUtime=51.08 /proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 40657 0 0 0 5091 17 0 0 25 0 1 0 53901311 174956544 39788 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31646/statm: 42714 39788 170 317 0 42393 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 170856 [startup+102.306 s] /proc/loadavg: 0.99 0.99 0.97 2/78 31647 /proc/meminfo: memFree=1508736/2055920 swapFree=4157496/4192956 [pid=31646] ppid=31644 vsize=274548 CPUtime=102.26 /proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 64848 0 0 0 10199 27 0 0 25 0 1 0 53901311 281137152 63979 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711029 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31646/statm: 68637 63979 170 317 0 68316 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 274548 [startup+162.301 s] /proc/loadavg: 0.99 0.99 0.97 2/78 31647 /proc/meminfo: memFree=1425856/2055920 swapFree=4157496/4192956 [pid=31646] ppid=31644 vsize=378276 CPUtime=162.24 /proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 85635 0 0 0 16188 36 0 0 25 0 1 0 53901311 387354624 84766 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31646/statm: 94569 84766 170 317 0 94248 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 378276 [startup+222.301 s] /proc/loadavg: 0.99 0.99 0.97 2/78 31647 /proc/meminfo: memFree=1368192/2055920 swapFree=4157496/4192956 [pid=31646] ppid=31644 vsize=434736 CPUtime=222.22 /proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 99897 0 0 0 22179 43 0 0 25 0 1 0 53901311 445169664 99028 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31646/statm: 108684 99028 170 317 0 108363 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 434736 [startup+282.301 s] /proc/loadavg: 0.99 0.99 0.97 2/78 31647 /proc/meminfo: memFree=1319552/2055920 swapFree=4157496/4192956 [pid=31646] ppid=31644 vsize=482704 CPUtime=282.21 /proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 112115 0 0 0 28171 50 0 0 25 0 1 0 53901311 494288896 111246 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31646/statm: 120676 111246 170 317 0 120355 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 482704 [startup+342.301 s] /proc/loadavg: 0.99 0.99 0.97 2/78 31647 /proc/meminfo: memFree=1277504/2055920 swapFree=4157496/4192956 [pid=31646] ppid=31644 vsize=523700 CPUtime=342.2 /proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 122543 0 0 0 34165 55 0 0 25 0 1 0 53901311 536268800 121674 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31646/statm: 130925 121674 170 317 0 130604 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 523700 [startup+402.301 s] /proc/loadavg: 0.99 0.99 0.97 2/78 31647 /proc/meminfo: memFree=1235328/2055920 swapFree=4157496/4192956 [pid=31646] ppid=31644 vsize=565084 CPUtime=402.18 /proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 133134 0 0 0 40157 61 0 0 25 0 1 0 53901311 578646016 132265 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31646/statm: 141271 132265 170 317 0 140950 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 565084 [startup+462.302 s] /proc/loadavg: 0.99 0.99 0.97 2/78 31647 /proc/meminfo: memFree=1206912/2055920 swapFree=4157496/4192956 [pid=31646] ppid=31644 vsize=594680 CPUtime=462.16 /proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 140142 0 0 0 46151 65 0 0 25 0 1 0 53901311 608952320 139273 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31646/statm: 148670 139273 170 317 0 148349 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 594680 [startup+522.302 s] /proc/loadavg: 0.99 0.99 0.97 2/78 31647 /proc/meminfo: memFree=1135168/2055920 swapFree=4157496/4192956 [pid=31646] ppid=31644 vsize=711200 CPUtime=522.15 /proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 158079 0 0 0 52141 74 0 0 25 0 1 0 53901311 728268800 157210 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31646/statm: 177800 157210 170 317 0 177479 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 711200 [startup+582.302 s] /proc/loadavg: 0.99 0.99 0.97 2/78 31647 /proc/meminfo: memFree=1108288/2055920 swapFree=4157496/4192956 [pid=31646] ppid=31644 vsize=737076 CPUtime=582.13 /proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 164727 0 0 0 58137 76 0 0 25 0 1 0 53901311 754765824 163858 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31646/statm: 184269 163858 170 317 0 183948 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 737076 [startup+642.302 s] /proc/loadavg: 1.06 1.01 0.98 2/78 31647 /proc/meminfo: memFree=1077760/2055920 swapFree=4157496/4192956 [pid=31646] ppid=31644 vsize=767400 CPUtime=642.12 /proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 172297 0 0 0 64132 80 0 0 25 0 1 0 53901311 785817600 171428 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272627 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31646/statm: 191850 171428 170 317 0 191529 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 767400 ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.98 2/78 31845 /proc/meminfo: memFree=942464/2055920 swapFree=4157496/4192956 [pid=31646] ppid=31644 vsize=899648 CPUtime=941.91 /proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 206075 0 0 0 94094 97 0 0 25 0 1 0 53901311 921239552 205206 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31646/statm: 224912 205206 170 317 0 224591 0 Current children cumulated CPU time (s) 941.91 Current children cumulated vsize (KiB) 899648 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 31845 /proc/meminfo: memFree=921856/2055920 swapFree=4157496/4192956 [pid=31646] ppid=31644 vsize=921544 CPUtime=1001.89 /proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 211164 0 0 0 100090 99 0 0 25 0 1 0 53901311 943661056 210295 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31646/statm: 230386 210295 170 317 0 230065 0 Current children cumulated CPU time (s) 1001.89 Current children cumulated vsize (KiB) 921544 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 31845 /proc/meminfo: memFree=896384/2055920 swapFree=4157496/4192956 [pid=31646] ppid=31644 vsize=946664 CPUtime=1061.87 /proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 217549 0 0 0 106085 102 0 0 25 0 1 0 53901311 969383936 216680 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31646/statm: 236666 216680 170 317 0 236345 0 Current children cumulated CPU time (s) 1061.87 Current children cumulated vsize (KiB) 946664 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 31847 /proc/meminfo: memFree=874112/2055920 swapFree=4157496/4192956 [pid=31646] ppid=31644 vsize=967760 CPUtime=1121.86 /proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 223105 0 0 0 112081 105 0 0 25 0 1 0 53901311 990986240 222236 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31646/statm: 241940 222236 170 317 0 241619 0 Current children cumulated CPU time (s) 1121.86 Current children cumulated vsize (KiB) 967760 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 31847 /proc/meminfo: memFree=852160/2055920 swapFree=4157496/4192956 [pid=31646] ppid=31644 vsize=989108 CPUtime=1181.85 /proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 228656 0 0 0 118077 108 0 0 25 0 1 0 53901311 1012846592 227787 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713857 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31646/statm: 247277 227787 170 317 0 246956 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 989108 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 31847 /proc/meminfo: memFree=830336/2055920 swapFree=4157496/4192956 [pid=31646] ppid=31644 vsize=1012168 CPUtime=1241.83 /proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 234080 0 0 0 124072 111 0 0 25 0 1 0 53901311 1036460032 233211 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31646/statm: 253042 233211 170 317 0 252721 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 1012168 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 31847 /proc/meminfo: memFree=807104/2055920 swapFree=4157496/4192956 [pid=31646] ppid=31644 vsize=1033680 CPUtime=1301.82 /proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 239804 0 0 0 130068 114 0 0 25 0 1 0 53901311 1058488320 238935 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31646/statm: 258420 238935 170 317 0 258099 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 1033680 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 31847 /proc/meminfo: memFree=785472/2055920 swapFree=4157496/4192956 [pid=31646] ppid=31644 vsize=1054224 CPUtime=1361.8 /proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 245238 0 0 0 136063 117 0 0 25 0 1 0 53901311 1079525376 244369 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31646/statm: 263556 244369 170 317 0 263235 0 Current children cumulated CPU time (s) 1361.8 Current children cumulated vsize (KiB) 1054224 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.98 2/78 31847 /proc/meminfo: memFree=765440/2055920 swapFree=4157496/4192956 [pid=31646] ppid=31644 vsize=1075380 CPUtime=1421.78 /proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 250212 0 0 0 142059 119 0 0 25 0 1 0 53901311 1101189120 249343 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31646/statm: 268845 249343 170 317 0 268524 0 Current children cumulated CPU time (s) 1421.78 Current children cumulated vsize (KiB) 1075380 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 31847 /proc/meminfo: memFree=743808/2055920 swapFree=4157496/4192956 [pid=31646] ppid=31644 vsize=1095996 CPUtime=1481.76 /proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 255683 0 0 0 148054 122 0 0 25 0 1 0 53901311 1122299904 254814 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31646/statm: 273999 254814 170 317 0 273678 0 Current children cumulated CPU time (s) 1481.76 Current children cumulated vsize (KiB) 1095996 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 31847 /proc/meminfo: memFree=722240/2055920 swapFree=4157496/4192956 [pid=31646] ppid=31644 vsize=1116104 CPUtime=1541.74 /proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 261028 0 0 0 154048 126 0 0 25 0 1 0 53901311 1142890496 260159 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31646/statm: 279026 260159 170 317 0 278705 0 Current children cumulated CPU time (s) 1541.74 Current children cumulated vsize (KiB) 1116104 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 31847 /proc/meminfo: memFree=702976/2055920 swapFree=4157496/4192956 [pid=31646] ppid=31644 vsize=1137136 CPUtime=1601.73 /proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 265853 0 0 0 160044 129 0 0 25 0 1 0 53901311 1164427264 264984 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31646/statm: 284284 264984 170 317 0 283963 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 1137136 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 31847 /proc/meminfo: memFree=689408/2055920 swapFree=4157496/4192956 [pid=31646] ppid=31644 vsize=1148748 CPUtime=1661.71 /proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 269205 0 0 0 166040 131 0 0 25 0 1 0 53901311 1176317952 268336 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602404 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31646/statm: 287187 268336 170 317 0 286866 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 1148748 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 31847 /proc/meminfo: memFree=623680/2055920 swapFree=4157496/4192956 [pid=31646] ppid=31644 vsize=1338352 CPUtime=1721.69 /proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 307117 0 0 0 172026 143 0 0 25 0 1 0 53901311 1370472448 284600 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278915 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31646/statm: 334588 284600 170 317 0 334267 0 Current children cumulated CPU time (s) 1721.69 Current children cumulated vsize (KiB) 1338352 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 31847 /proc/meminfo: memFree=605632/2055920 swapFree=4157496/4192956 [pid=31646] ppid=31644 vsize=1358096 CPUtime=1781.67 /proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 311773 0 0 0 178021 146 0 0 25 0 1 0 53901311 1390690304 289157 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31646/statm: 339524 289157 170 317 0 339203 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 1358096 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 0.98 2/78 31847 /proc/meminfo: memFree=599808/2055920 swapFree=4157496/4192956 [pid=31646] ppid=31644 vsize=1364052 CPUtime=1800.08 /proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 313168 0 0 0 179861 147 0 0 25 0 1 0 53901311 1396789248 290552 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712569 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31646/statm: 341013 290552 170 317 0 340692 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1364052 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 1.00 1.00 0.98 2/78 31847 /proc/meminfo: memFree=599808/2055920 swapFree=4157496/4192956 [pid=31646] ppid=31644 vsize=0 CPUtime=1800.18 /proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194308 313184 0 0 0 179867 151 0 0 25 0 1 0 53901311 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31646/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.18 Current children cumulated vsize (KiB) 0 [startup+1800.9 s] /proc/loadavg: 1.00 1.00 0.98 2/78 31847 /proc/meminfo: memFree=599808/2055920 swapFree=4157496/4192956 [pid=31646] ppid=31644 vsize=0 CPUtime=1800.27 /proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194308 313184 0 0 0 179867 160 0 0 25 0 1 0 53901311 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31646/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.27 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.96 CPU time (s): 1800.34 CPU user time (s): 1798.67 CPU system time (s): 1.66775 CPU usage (%): 99.9654 Max. virtual memory (cumulated for all children) (KiB): 1364052 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.67 system time used= 1.66775 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 313184 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= 1900 runsolver used 2.02669 second user time and 4.52331 second system time The end
Begin job on node45 on Thu Apr 19 13:49:17 UTC 2007 IDJOB= 357187 IDBENCH= 2246 IDSOLVER= 172 FILE ID= node45/357187-1176990556 PBS_JOBID= 4630416 Free space on /tmp= 66444 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-4.opb COMMAND LINE= oree /tmp/evaluation/357187-1176990556/instance-357187-1176990556.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node45/watcher-357187-1176990556 -o ROOT/results/node45/solver-357187-1176990556 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357187-1176990556/instance-357187-1176990556.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 09bf68c118cd38b954800f61edb04c4b RANDOM SEED= 475995163 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node45.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.218 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.218 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: 1765024 kB Buffers: 37040 kB Cached: 186812 kB SwapCached: 15576 kB Active: 130692 kB Inactive: 118404 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1765024 kB SwapTotal: 4192956 kB SwapFree: 4157496 kB Dirty: 3960 kB Writeback: 0 kB Mapped: 32380 kB Slab: 27392 kB Committed_AS: 1169884 kB PageTables: 1736 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= 66444 MiB End job on node45 on Thu Apr 19 14:19:20 UTC 2007