Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | -40 | 1800.37 | 1801.05 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-3.opb |
MD5SUM | 1925793f412227c60146f261684ef7c1 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -52 |
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 | -52 |
Optimality of the best value was proved | NO |
Number of variables | 1272 |
Total number of constraints | 94127 |
Number of constraints which are clauses | 94127 |
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 | 1272 |
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 | 1272 |
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 | 1272 |
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.59/0.66 c ...done 0.59/0.66 c #vars=1272 #constraints=94128 hasObjective=yes 1.00/1.05 c res. mode=mod 1.00/1.05 c VSIDS like heuristics 1.00/1.05 c complete search running 1.10/1.11 c nbDecision=36 #constraints=94128 1.10/1.11 c linear search for optimum 1.10/1.11 o -36 1.69/1.77 c nbDecision=117 #constraints=94178 1.69/1.77 o -37 3.89/3.98 c nbDecision=363 #constraints=94332 3.89/3.98 o -38 4.39/4.42 c restart after 401 decisions 5.18/5.29 c nbDecision=500 #constraints=94399 8.79/8.85 c restart after 801 decisions 11.69/11.70 c nbDecision=1000 #constraints=94749 19.48/19.51 c nbDecision=1500 #constraints=95108 21.58/21.66 c restart after 1601 decisions 29.08/29.18 c nbDecision=2000 #constraints=95435 40.37/40.48 c nbDecision=2500 #constraints=95813 52.27/52.38 c nbDecision=3000 #constraints=96168 57.67/57.75 c restart after 3201 decisions 66.07/66.17 c nbDecision=3500 #constraints=96501 68.27/68.37 c nbDecision=3585 #constraints=96557 68.27/68.37 o -39 79.56/79.68 c nbDecision=4000 #constraints=96856 95.26/95.36 c nbDecision=4500 #constraints=97227 110.76/110.86 c nbDecision=5000 #constraints=97633 128.56/128.60 c nbDecision=5500 #constraints=98030 147.64/147.72 c nbDecision=6000 #constraints=98433 164.64/164.73 c restart after 6401 decisions 177.13/177.28 c nbDecision=6500 #constraints=98821 193.93/194.03 c nbDecision=6761 #constraints=99050 193.93/194.03 o -40 212.52/212.60 c nbDecision=7000 #constraints=99240 246.81/246.96 c nbDecision=7500 #constraints=99708 283.40/283.58 c nbDecision=8000 #constraints=100166 322.79/322.94 c nbDecision=8500 #constraints=100609 361.37/361.54 c nbDecision=9000 #constraints=101027 407.86/408.03 c nbDecision=9500 #constraints=101483 454.24/454.44 c nbDecision=10000 #constraints=101984 499.83/500.06 c nbDecision=10500 #constraints=102484 547.57/547.82 c nbDecision=11000 #constraints=102981 599.50/599.88 c nbDecision=11500 #constraints=103472 661.68/662.07 c nbDecision=12000 #constraints=103911 715.06/715.45 c nbDecision=12500 #constraints=104400 748.46/748.86 c restart after 12801 decisions 781.64/782.06 c nbDecision=13000 #constraints=104804 829.82/830.25 c nbDecision=13500 #constraints=105196 878.71/879.14 c nbDecision=14000 #constraints=105564 929.29/929.78 c nbDecision=14500 #constraints=105926 980.18/980.65 c nbDecision=15000 #constraints=106309 1034.26/1034.79 c nbDecision=15500 #constraints=106686 1088.24/1088.71 c nbDecision=16000 #constraints=107087 1143.43/1143.95 c nbDecision=16500 #constraints=107481 1202.41/1202.94 c nbDecision=17000 #constraints=107890 1263.49/1264.03 c nbDecision=17500 #constraints=108266 1326.77/1327.34 c nbDecision=18000 #constraints=108669 1396.74/1397.33 c nbDecision=18500 #constraints=109101 1460.72/1461.32 c nbDecision=19000 #constraints=109488 1536.20/1536.84 c nbDecision=19500 #constraints=109918 1608.08/1608.74 c nbDecision=20000 #constraints=110343 1682.56/1683.27 c nbDecision=20500 #constraints=110766 1756.13/1756.84 c nbDecision=21000 #constraints=111156 1800.02/1800.71 Received signal 15 1800.12/1800.84 1800.12/1800.84 s SATISFIABLE 1800.12/1800.84 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.12/1800.84 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.12/1800.84 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.12/1800.84 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.12/1800.84 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 -x122 -x123 -x124 -x125 -x126 1800.12/1800.84 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x145 -x146 -x147 1800.12/1800.84 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 1800.12/1800.84 v -x169 -x170 x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1800.12/1800.84 v -x190 -x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 1800.12/1800.84 v -x211 -x212 -x213 -x214 -x215 -x216 x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 1800.12/1800.84 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 1800.12/1800.84 v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 x268 -x269 -x270 -x271 -x272 -x273 1800.12/1800.84 v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 x293 -x294 1800.12/1800.84 v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 1800.12/1800.84 v x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 1800.12/1800.84 v -x337 -x338 -x339 -x340 -x341 -x342 x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 1800.12/1800.84 v -x358 -x359 -x360 -x361 -x362 -x363 x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 1800.12/1800.84 v -x379 -x380 -x381 -x382 -x383 -x384 -x385 x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 1800.12/1800.84 v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 1800.12/1800.84 v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 1800.12/1800.84 v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 1800.12/1800.84 v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 1800.12/1800.84 v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 1800.12/1800.84 v -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 x521 -x522 -x523 -x524 -x525 1800.12/1800.84 v -x526 -x527 -x528 x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 1800.12/1800.84 v -x547 -x548 -x549 -x550 -x551 -x552 x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 1800.12/1800.84 v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 1800.12/1800.84 v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 1800.12/1800.84 v -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 x628 -x629 -x630 1800.12/1800.84 v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 x649 -x650 -x651 1800.12/1800.84 v -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 1800.12/1800.84 v -x673 -x674 -x675 x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 1800.12/1800.84 v -x694 -x695 -x696 x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 1800.12/1800.84 v -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 1800.12/1800.84 v -x736 x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 1800.12/1800.84 v -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 1800.12/1800.84 v -x778 -x779 -x780 x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 1800.12/1800.84 v -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 1800.12/1800.84 v -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 1800.12/1800.84 v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 1800.12/1800.84 v -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 1800.12/1800.84 v -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 1800.12/1800.84 v -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 1800.12/1800.84 v -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 1800.12/1800.84 v -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 x966 1800.12/1800.84 v -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 1800.12/1800.84 v -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 1800.12/1800.84 v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 x1018 -x1019 -x1020 -x1021 -x1022 -x1023 1800.12/1800.84 v -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 x1038 -x1039 -x1040 1800.12/1800.84 v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 1800.12/1800.84 v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 1800.12/1800.84 v -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 1800.12/1800.84 v -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 x1107 -x1108 1800.12/1800.84 v -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 1800.12/1800.84 v -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 x1139 -x1140 -x1141 -x1142 1800.12/1800.84 v -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 1800.12/1800.84 v -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 1800.12/1800.84 v -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 1800.12/1800.84 v -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 1800.12/1800.84 v -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 x1224 -x1225 -x1226 -x1227 1800.12/1800.84 v -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 1800.12/1800.84 v -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 1800.12/1800.84 v -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 1800.12/1800.84 1800.12/1800.84 c user time= 1798.75 s 1800.12/1800.84 c system time= 1.41878 s 1800.12/1800.84 c wall clock time=1800.85
OK -40
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node39/watcher-357196-1176990730 -o ROOT/results/node39/solver-357196-1176990730 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357196-1176990730/instance-357196-1176990730.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.91 0.95 0.97 2/77 2243 /proc/meminfo: memFree=1527944/2055920 swapFree=4154524/4192956 [pid=2243] ppid=2241 vsize=1468 CPUtime=0 /proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 146985072 1503232 163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711546 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2243/statm: 367 163 130 317 0 46 0 [startup+0.0107889 s] /proc/loadavg: 0.91 0.95 0.97 2/77 2243 /proc/meminfo: memFree=1527944/2055920 swapFree=4154524/4192956 [pid=2243] ppid=2241 vsize=1600 CPUtime=0 /proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 213 0 0 0 0 0 0 0 18 0 1 0 146985072 1638400 195 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2243/statm: 400 195 130 317 0 79 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1600 [startup+0.101804 s] /proc/loadavg: 0.91 0.95 0.97 2/77 2243 /proc/meminfo: memFree=1527944/2055920 swapFree=4154524/4192956 [pid=2243] ppid=2241 vsize=3640 CPUtime=0.1 /proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 716 0 0 0 10 0 0 0 18 0 1 0 146985072 3727360 698 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134600013 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2243/statm: 910 699 130 317 0 589 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 3640 [startup+0.301838 s] /proc/loadavg: 0.91 0.95 0.97 2/77 2243 /proc/meminfo: memFree=1527944/2055920 swapFree=4154524/4192956 [pid=2243] ppid=2241 vsize=8124 CPUtime=0.29 /proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 1836 0 0 0 29 0 0 0 19 0 1 0 146985072 8318976 1785 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2243/statm: 2031 1786 130 317 0 1710 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8124 [startup+0.701905 s] /proc/loadavg: 0.91 0.95 0.97 2/77 2243 /proc/meminfo: memFree=1527944/2055920 swapFree=4154524/4192956 [pid=2243] ppid=2241 vsize=21560 CPUtime=0.69 /proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 5275 0 0 0 68 1 0 0 23 0 1 0 146985072 22077440 5159 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2243/statm: 5390 5159 137 317 0 5069 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 21560 [startup+1.50104 s] /proc/loadavg: 0.91 0.95 0.97 2/78 2244 /proc/meminfo: memFree=1506304/2055920 swapFree=4154524/4192956 [pid=2243] ppid=2241 vsize=29412 CPUtime=1.49 /proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 7275 0 0 0 147 2 0 0 25 0 1 0 146985072 30117888 6515 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562761 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2243/statm: 7353 6515 170 317 0 7032 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 29412 [startup+3.10131 s] /proc/loadavg: 0.91 0.95 0.97 2/78 2244 /proc/meminfo: memFree=1499968/2055920 swapFree=4154524/4192956 [pid=2243] ppid=2241 vsize=37144 CPUtime=3.09 /proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 9044 0 0 0 306 3 0 0 25 0 1 0 146985072 38035456 8284 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2243/statm: 9286 8284 170 317 0 8965 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 37144 [startup+6.30185 s] /proc/loadavg: 0.92 0.95 0.97 2/78 2244 /proc/meminfo: memFree=1485760/2055920 swapFree=4154524/4192956 [pid=2243] ppid=2241 vsize=50584 CPUtime=6.29 /proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 12129 0 0 0 625 4 0 0 25 0 1 0 146985072 51798016 11369 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134593381 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2243/statm: 12646 11369 170 317 0 12325 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 50584 [startup+12.7019 s] /proc/loadavg: 0.93 0.95 0.97 2/78 2244 /proc/meminfo: memFree=1462848/2055920 swapFree=4154524/4192956 [pid=2243] ppid=2241 vsize=74008 CPUtime=12.69 /proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 17483 0 0 0 1263 6 0 0 25 0 1 0 146985072 75784192 16723 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2243/statm: 18502 16723 170 317 0 18181 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 74008 [startup+25.5011 s] /proc/loadavg: 0.94 0.96 0.97 2/78 2244 /proc/meminfo: memFree=1428928/2055920 swapFree=4154524/4192956 [pid=2243] ppid=2241 vsize=111880 CPUtime=25.48 /proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 25723 0 0 0 2538 10 0 0 25 0 1 0 146985072 114565120 24963 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2243/statm: 27970 24963 170 317 0 27649 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 111880 [startup+51.1014 s] /proc/loadavg: 0.96 0.96 0.97 2/78 2244 /proc/meminfo: memFree=1385600/2055920 swapFree=4154524/4192956 [pid=2243] ppid=2241 vsize=158848 CPUtime=51.07 /proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 36625 0 0 0 5092 15 0 0 25 0 1 0 146985072 162660352 35865 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2243/statm: 39712 35865 170 317 0 39391 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 158848 [startup+102.306 s] /proc/loadavg: 1.02 0.98 0.97 2/78 2244 /proc/meminfo: memFree=1301824/2055920 swapFree=4154524/4192956 [pid=2243] ppid=2241 vsize=250500 CPUtime=102.27 /proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 57298 0 0 0 10202 25 0 0 25 0 1 0 146985072 256512000 56538 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2243/statm: 62625 56538 170 317 0 62304 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 250500 [startup+162.301 s] /proc/loadavg: 1.00 0.98 0.97 2/78 2244 /proc/meminfo: memFree=1211840/2055920 swapFree=4154524/4192956 [pid=2243] ppid=2241 vsize=361280 CPUtime=162.23 /proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 79870 0 0 0 16188 35 0 0 25 0 1 0 146985072 369950720 79110 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2243/statm: 90320 79110 170 317 0 89999 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 361280 [startup+222.302 s] /proc/loadavg: 1.00 0.98 0.97 2/78 2244 /proc/meminfo: memFree=1174400/2055920 swapFree=4154524/4192956 [pid=2243] ppid=2241 vsize=399208 CPUtime=222.22 /proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 89081 0 0 0 22182 40 0 0 25 0 1 0 146985072 408788992 88321 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711017 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2243/statm: 99802 88321 170 317 0 99481 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 399208 [startup+282.301 s] /proc/loadavg: 1.00 0.98 0.97 2/78 2244 /proc/meminfo: memFree=1130880/2055920 swapFree=4154524/4192956 [pid=2243] ppid=2241 vsize=444436 CPUtime=282.2 /proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 100063 0 0 0 28174 46 0 0 25 0 1 0 146985072 455102464 99303 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2243/statm: 111109 99303 170 317 0 110788 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 444436 [startup+342.301 s] /proc/loadavg: 1.00 0.98 0.97 2/78 2244 /proc/meminfo: memFree=1093312/2055920 swapFree=4154524/4192956 [pid=2243] ppid=2241 vsize=482488 CPUtime=342.19 /proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 109344 0 0 0 34167 52 0 0 25 0 1 0 146985072 494067712 108584 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2243/statm: 120622 108584 170 317 0 120301 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 482488 [startup+402.302 s] /proc/loadavg: 1.00 0.98 0.97 2/78 2244 /proc/meminfo: memFree=1060352/2055920 swapFree=4154524/4192956 [pid=2243] ppid=2241 vsize=516288 CPUtime=402.16 /proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 117634 0 0 0 40161 55 0 0 25 0 1 0 146985072 528678912 116874 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2243/statm: 129072 116874 170 317 0 128751 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 516288 [startup+462.302 s] /proc/loadavg: 1.00 0.98 0.97 2/78 2244 /proc/meminfo: memFree=1025280/2055920 swapFree=4154524/4192956 [pid=2243] ppid=2241 vsize=553248 CPUtime=462.14 /proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 126302 0 0 0 46154 60 0 0 25 0 1 0 146985072 566525952 125542 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2243/statm: 138312 125542 170 317 0 137991 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 553248 [startup+522.302 s] /proc/loadavg: 1.00 0.98 0.97 2/78 2244 /proc/meminfo: memFree=955776/2055920 swapFree=4154524/4192956 [pid=2243] ppid=2241 vsize=664176 CPUtime=522.12 /proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 143715 0 0 0 52144 68 0 0 25 0 1 0 146985072 680116224 142955 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2243/statm: 166044 142955 170 317 0 165723 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 664176 [startup+582.302 s] /proc/loadavg: 1.00 0.98 0.97 2/84 2422 /proc/meminfo: memFree=922120/2055920 swapFree=4154524/4192956 [pid=2243] ppid=2241 vsize=699104 CPUtime=582.01 /proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 151741 0 0 0 58129 72 0 0 25 0 1 0 146985072 715882496 150981 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596056 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2243/statm: 174776 150981 170 317 0 174455 0 Current children cumulated CPU time (s) 582.01 Current children cumulated vsize (KiB) 699104 [startup+642.302 s] /proc/loadavg: 1.00 0.98 0.97 2/78 2442 /proc/meminfo: memFree=897024/2055920 swapFree=4154524/4192956 [pid=2243] ppid=2241 vsize=726120 CPUtime=641.99 /proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 158197 0 0 0 64124 75 0 0 25 0 1 0 146985072 743546880 157437 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2243/statm: 181530 157437 170 317 0 181209 0 Current children cumulated CPU time (s) 641.99 Current children cumulated vsize (KiB) 726120 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 0.98 0.97 2/78 2442 /proc/meminfo: memFree=795008/2055920 swapFree=4154524/4192956 [pid=2243] ppid=2241 vsize=831148 CPUtime=881.91 /proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 183690 0 0 0 88103 88 0 0 25 0 1 0 146985072 851095552 182930 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2243/statm: 207787 182930 170 317 0 207466 0 Current children cumulated CPU time (s) 881.91 Current children cumulated vsize (KiB) 831148 [startup+942.301 s] /proc/loadavg: 1.00 0.98 0.97 2/78 2442 /proc/meminfo: memFree=771200/2055920 swapFree=4154524/4192956 [pid=2243] ppid=2241 vsize=855864 CPUtime=941.89 /proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 189715 0 0 0 94097 92 0 0 25 0 1 0 146985072 876404736 188955 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2243/statm: 213966 188955 170 317 0 213645 0 Current children cumulated CPU time (s) 941.89 Current children cumulated vsize (KiB) 855864 [startup+1002.3 s] /proc/loadavg: 1.00 0.98 0.97 2/78 2442 /proc/meminfo: memFree=746752/2055920 swapFree=4154524/4192956 [pid=2243] ppid=2241 vsize=880260 CPUtime=1001.87 /proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 195773 0 0 0 100092 95 0 0 25 0 1 0 146985072 901386240 195013 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2243/statm: 220065 195013 170 317 0 219744 0 Current children cumulated CPU time (s) 1001.87 Current children cumulated vsize (KiB) 880260 [startup+1062.3 s] /proc/loadavg: 1.00 0.98 0.97 2/78 2442 /proc/meminfo: memFree=725056/2055920 swapFree=4154524/4192956 [pid=2243] ppid=2241 vsize=904784 CPUtime=1061.85 /proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 201228 0 0 0 106087 98 0 0 25 0 1 0 146985072 926498816 200468 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2243/statm: 226196 200468 170 317 0 225875 0 Current children cumulated CPU time (s) 1061.85 Current children cumulated vsize (KiB) 904784 [startup+1122.3 s] /proc/loadavg: 1.00 0.98 0.97 3/78 2442 /proc/meminfo: memFree=700992/2055920 swapFree=4154524/4192956 [pid=2243] ppid=2241 vsize=928892 CPUtime=1121.83 /proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 207203 0 0 0 112082 101 0 0 25 0 1 0 146985072 951185408 206443 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715798 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2243/statm: 232223 206444 170 317 0 231902 0 Current children cumulated CPU time (s) 1121.83 Current children cumulated vsize (KiB) 928892 [startup+1182.3 s] /proc/loadavg: 1.00 0.98 0.97 2/78 2442 /proc/meminfo: memFree=677376/2055920 swapFree=4154524/4192956 [pid=2243] ppid=2241 vsize=952676 CPUtime=1181.82 /proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 213119 0 0 0 118077 105 0 0 25 0 1 0 146985072 975540224 212359 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2243/statm: 238169 212359 170 317 0 237848 0 Current children cumulated CPU time (s) 1181.82 Current children cumulated vsize (KiB) 952676 [startup+1242.3 s] /proc/loadavg: 1.00 0.98 0.97 2/78 2442 /proc/meminfo: memFree=654848/2055920 swapFree=4154524/4192956 [pid=2243] ppid=2241 vsize=974864 CPUtime=1241.79 /proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 218707 0 0 0 124071 108 0 0 25 0 1 0 146985072 998260736 217947 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710975 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2243/statm: 243716 217947 170 317 0 243395 0 Current children cumulated CPU time (s) 1241.79 Current children cumulated vsize (KiB) 974864 [startup+1302.3 s] /proc/loadavg: 1.00 0.98 0.97 2/78 2442 /proc/meminfo: memFree=633664/2055920 swapFree=4154524/4192956 [pid=2243] ppid=2241 vsize=996196 CPUtime=1301.78 /proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 223940 0 0 0 130067 111 0 0 25 0 1 0 146985072 1020104704 223180 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2243/statm: 249049 223180 170 317 0 248728 0 Current children cumulated CPU time (s) 1301.78 Current children cumulated vsize (KiB) 996196 [startup+1362.3 s] /proc/loadavg: 1.00 0.98 0.97 2/78 2442 /proc/meminfo: memFree=614656/2055920 swapFree=4154524/4192956 [pid=2243] ppid=2241 vsize=1017244 CPUtime=1361.75 /proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 228739 0 0 0 136061 114 0 0 25 0 1 0 146985072 1041657856 227979 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2243/statm: 254311 227979 170 317 0 253990 0 Current children cumulated CPU time (s) 1361.75 Current children cumulated vsize (KiB) 1017244 [startup+1422.31 s] /proc/loadavg: 1.00 0.98 0.97 2/78 2442 /proc/meminfo: memFree=593280/2055920 swapFree=4154524/4192956 [pid=2243] ppid=2241 vsize=1038284 CPUtime=1421.74 /proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 234016 0 0 0 142057 117 0 0 25 0 1 0 146985072 1063202816 233256 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2243/statm: 259571 233256 170 317 0 259250 0 Current children cumulated CPU time (s) 1421.74 Current children cumulated vsize (KiB) 1038284 [startup+1482.3 s] /proc/loadavg: 1.00 0.98 0.97 2/78 2442 /proc/meminfo: memFree=572800/2055920 swapFree=4154524/4192956 [pid=2243] ppid=2241 vsize=1058372 CPUtime=1481.71 /proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 239150 0 0 0 148052 119 0 0 25 0 1 0 146985072 1083772928 238390 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2243/statm: 264593 238390 170 317 0 264272 0 Current children cumulated CPU time (s) 1481.71 Current children cumulated vsize (KiB) 1058372 [startup+1542.3 s] /proc/loadavg: 1.00 0.98 0.97 2/78 2442 /proc/meminfo: memFree=555328/2055920 swapFree=4154524/4192956 [pid=2243] ppid=2241 vsize=1077424 CPUtime=1541.7 /proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 243489 0 0 0 154048 122 0 0 25 0 1 0 146985072 1103282176 242729 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2243/statm: 269356 242729 170 317 0 269035 0 Current children cumulated CPU time (s) 1541.7 Current children cumulated vsize (KiB) 1077424 [startup+1602.3 s] /proc/loadavg: 1.00 0.98 0.97 2/78 2442 /proc/meminfo: memFree=534848/2055920 swapFree=4154524/4192956 [pid=2243] ppid=2241 vsize=1097776 CPUtime=1601.68 /proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 248674 0 0 0 160043 125 0 0 25 0 1 0 146985072 1124122624 247914 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134533545 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2243/statm: 274444 247914 170 317 0 274123 0 Current children cumulated CPU time (s) 1601.68 Current children cumulated vsize (KiB) 1097776 [startup+1662.3 s] /proc/loadavg: 1.00 0.98 0.97 2/78 2442 /proc/meminfo: memFree=480896/2055920 swapFree=4154524/4192956 [pid=2243] ppid=2241 vsize=1260536 CPUtime=1661.66 /proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 280957 0 0 0 166030 136 0 0 25 0 1 0 146985072 1290788864 261222 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2243/statm: 315134 261222 170 317 0 314813 0 Current children cumulated CPU time (s) 1661.66 Current children cumulated vsize (KiB) 1260536 [startup+1722.3 s] /proc/loadavg: 1.00 0.98 0.97 2/78 2442 /proc/meminfo: memFree=464192/2055920 swapFree=4154524/4192956 [pid=2243] ppid=2241 vsize=1280672 CPUtime=1721.64 /proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 285407 0 0 0 172026 138 0 0 25 0 1 0 146985072 1311408128 265441 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2243/statm: 320168 265441 170 317 0 319847 0 Current children cumulated CPU time (s) 1721.64 Current children cumulated vsize (KiB) 1280672 [startup+1782.3 s] /proc/loadavg: 1.00 0.98 0.97 2/78 2442 /proc/meminfo: memFree=443648/2055920 swapFree=4154524/4192956 [pid=2243] ppid=2241 vsize=1300340 CPUtime=1781.62 /proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 290646 0 0 0 178021 141 0 0 25 0 1 0 146985072 1331548160 270515 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2243/statm: 325085 270515 170 317 0 324764 0 Current children cumulated CPU time (s) 1781.62 Current children cumulated vsize (KiB) 1300340 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 0.98 0.97 2/78 2442 /proc/meminfo: memFree=438144/2055920 swapFree=4154524/4192956 [pid=2243] ppid=2241 vsize=1306988 CPUtime=1800.02 /proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 292092 0 0 0 179861 141 0 0 25 0 1 0 146985072 1338355712 271862 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2243/statm: 326747 271862 170 317 0 326426 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1306988 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.00 0.98 0.97 2/78 2442 /proc/meminfo: memFree=438144/2055920 swapFree=4154524/4192956 [pid=2243] ppid=2241 vsize=0 CPUtime=1800.31 /proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194308 292109 0 0 0 179877 154 0 0 25 0 1 0 146985072 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2243/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.31 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1801.05 CPU time (s): 1800.37 CPU user time (s): 1798.77 CPU system time (s): 1.59476 CPU usage (%): 99.9623 Max. virtual memory (cumulated for all children) (KiB): 1306988 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.77 system time used= 1.59476 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 292109 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= 2873 runsolver used 1.9587 second user time and 4.6083 second system time The end
Begin job on node39 on Thu Apr 19 13:52:10 UTC 2007 IDJOB= 357196 IDBENCH= 2255 IDSOLVER= 172 FILE ID= node39/357196-1176990730 PBS_JOBID= 4630459 Free space on /tmp= 66486 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/frb53-24-opb/normalized-frb53-24-3.opb COMMAND LINE= oree /tmp/evaluation/357196-1176990730/instance-357196-1176990730.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node39/watcher-357196-1176990730 -o ROOT/results/node39/solver-357196-1176990730 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357196-1176990730/instance-357196-1176990730.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 1925793f412227c60146f261684ef7c1 RANDOM SEED= 916965107 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node39.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.256 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.256 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: 1528288 kB Buffers: 45940 kB Cached: 389144 kB SwapCached: 18408 kB Active: 173648 kB Inactive: 289896 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1528288 kB SwapTotal: 4192956 kB SwapFree: 4154524 kB Dirty: 3660 kB Writeback: 0 kB Mapped: 30572 kB Slab: 49380 kB Committed_AS: 1771896 kB PageTables: 2012 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= 66486 MiB End job on node39 on Thu Apr 19 14:22:14 UTC 2007