Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | -41 | 1800.31 | 1800.86 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-5.opb |
MD5SUM | 20471e978018d28aed0ca16c46de4e3d |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -51 |
Best CPU time to get the best result obtained on this benchmark | 1800.08 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -51 |
Optimality of the best value was proved | NO |
Number of variables | 1272 |
Total number of constraints | 94226 |
Number of constraints which are clauses | 94226 |
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=94227 hasObjective=yes 1.10/1.13 c res. mode=mod 1.10/1.13 c VSIDS like heuristics 1.10/1.13 c complete search running 1.10/1.19 c nbDecision=35 #constraints=94227 1.10/1.19 c linear search for optimum 1.10/1.19 o -35 1.29/1.36 c nbDecision=53 #constraints=94238 1.29/1.36 o -36 1.69/1.79 c nbDecision=100 #constraints=94271 1.69/1.79 o -37 1.89/1.91 c nbDecision=119 #constraints=94280 1.89/1.91 o -39 4.40/4.42 c restart after 401 decisions 5.09/5.12 c nbDecision=500 #constraints=94488 7.99/8.02 c restart after 801 decisions 10.29/10.38 c nbDecision=1000 #constraints=94792 15.99/16.05 c nbDecision=1500 #constraints=95084 17.09/17.15 c restart after 1601 decisions 23.98/24.08 c nbDecision=2000 #constraints=95410 32.49/32.53 c nbDecision=2500 #constraints=95762 40.08/40.14 c nbDecision=2907 #constraints=96047 40.08/40.14 o -41 41.38/41.42 c nbDecision=3000 #constraints=96096 44.38/44.43 c restart after 3201 decisions 53.17/53.22 c nbDecision=3500 #constraints=96395 68.08/68.13 c nbDecision=4000 #constraints=96770 86.07/86.20 c nbDecision=4500 #constraints=97180 105.07/105.15 c nbDecision=5000 #constraints=97555 124.66/124.74 c nbDecision=5500 #constraints=97962 145.16/145.29 c nbDecision=6000 #constraints=98344 163.94/164.00 c restart after 6401 decisions 173.75/173.88 c nbDecision=6500 #constraints=98722 197.85/197.92 c nbDecision=7000 #constraints=99135 224.64/224.72 c nbDecision=7500 #constraints=99574 255.03/255.12 c nbDecision=8000 #constraints=100022 286.82/286.90 c nbDecision=8500 #constraints=100491 319.11/319.26 c nbDecision=9000 #constraints=100969 353.40/353.50 c nbDecision=9500 #constraints=101425 386.39/386.53 c nbDecision=10000 #constraints=101910 420.71/420.91 c nbDecision=10500 #constraints=102359 455.39/455.68 c nbDecision=11000 #constraints=102779 493.97/494.28 c nbDecision=11500 #constraints=103223 545.06/545.33 c nbDecision=12000 #constraints=103699 598.75/599.05 c nbDecision=12500 #constraints=104181 622.24/622.50 c restart after 12801 decisions 652.93/653.22 c nbDecision=13000 #constraints=104523 689.42/689.77 c nbDecision=13500 #constraints=104843 728.51/728.80 c nbDecision=14000 #constraints=105185 767.51/767.82 c nbDecision=14500 #constraints=105500 807.00/807.31 c nbDecision=15000 #constraints=105821 854.29/854.66 c nbDecision=15500 #constraints=106194 897.67/898.06 c nbDecision=16000 #constraints=106549 941.96/942.30 c nbDecision=16500 #constraints=106897 989.25/989.62 c nbDecision=17000 #constraints=107228 1038.63/1039.09 c nbDecision=17500 #constraints=107592 1090.52/1090.90 c nbDecision=18000 #constraints=107934 1138.81/1139.21 c nbDecision=18500 #constraints=108283 1188.50/1188.94 c nbDecision=19000 #constraints=108621 1239.08/1239.58 c nbDecision=19500 #constraints=108945 1295.77/1296.23 c nbDecision=20000 #constraints=109305 1354.85/1355.32 c nbDecision=20500 #constraints=109705 1409.84/1410.32 c nbDecision=21000 #constraints=110100 1469.93/1470.43 c nbDecision=21500 #constraints=110540 1531.40/1531.95 c nbDecision=22000 #constraints=110957 1588.30/1588.89 c nbDecision=22500 #constraints=111357 1650.68/1651.21 c nbDecision=23000 #constraints=111758 1716.66/1717.29 c nbDecision=23500 #constraints=112202 1787.85/1788.47 c nbDecision=24000 #constraints=112628 1800.04/1800.61 Received signal 15 1800.04/1800.64 1800.04/1800.64 s SATISFIABLE 1800.04/1800.64 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.04/1800.64 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.04/1800.64 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.04/1800.64 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.04/1800.64 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 -x122 -x123 -x124 -x125 -x126 1800.04/1800.64 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x145 -x146 -x147 1800.04/1800.64 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 1800.04/1800.64 v x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1800.04/1800.64 v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 1800.04/1800.64 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 1800.04/1800.64 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 1800.04/1800.64 v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 1800.04/1800.64 v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 x294 1800.04/1800.64 v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 x314 -x315 1800.04/1800.64 v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 1800.04/1800.64 v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 1800.04/1800.64 v -x358 -x359 -x360 -x361 -x362 x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 1800.04/1800.64 v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 1800.04/1800.64 v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 1800.04/1800.64 v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 x440 -x441 1800.04/1800.64 v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 1800.04/1800.64 v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 1800.04/1800.64 v -x484 -x485 -x486 x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 1800.04/1800.64 v -x505 -x506 x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 1800.04/1800.64 v -x526 -x527 -x528 -x529 -x530 x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 1800.04/1800.64 v -x547 -x548 -x549 -x550 -x551 -x552 x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 1800.04/1800.64 v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 1800.04/1800.64 v -x589 -x590 -x591 x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 1800.04/1800.64 v -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 x626 -x627 -x628 -x629 -x630 1800.04/1800.64 v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 1800.04/1800.64 v -x652 -x653 -x654 -x655 -x656 x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 1800.04/1800.64 v -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 1800.04/1800.64 v -x694 -x695 x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 1800.04/1800.64 v -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 x730 -x731 -x732 -x733 -x734 -x735 1800.04/1800.64 v -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 1800.04/1800.64 v -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 1800.04/1800.64 v -x778 -x779 x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 1800.04/1800.64 v -x799 -x800 -x801 -x802 -x803 -x804 x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 1800.04/1800.64 v -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 1800.04/1800.64 v -x841 -x842 -x843 -x844 -x845 -x846 x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 1800.04/1800.64 v -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 x879 -x880 -x881 -x882 1800.04/1800.64 v -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 1800.04/1800.64 v -x904 -x905 -x906 -x907 x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 1800.04/1800.64 v -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 1800.04/1800.64 v -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 x964 -x965 -x966 1800.04/1800.64 v -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 1800.04/1800.64 v -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 1800.04/1800.64 v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 1800.04/1800.64 v -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 1800.04/1800.64 v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 1800.04/1800.64 v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 1800.04/1800.64 v -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 1800.04/1800.64 v -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 1800.04/1800.64 v -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 1800.04/1800.64 v -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 1800.04/1800.64 v -x1143 -x1144 -x1145 -x1146 -x1147 x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 1800.04/1800.64 v -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 1800.04/1800.64 v -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 1800.04/1800.64 v -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 1800.04/1800.64 v -x1211 -x1212 -x1213 -x1214 x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 1800.04/1800.64 v -x1228 -x1229 -x1230 x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 1800.04/1800.64 v -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 1800.04/1800.64 v -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 1800.04/1800.64 1800.04/1800.64 c user time= 1798.6 s 1800.04/1800.64 c system time= 1.48977 s 1800.04/1800.64 c wall clock time=1800.64
OK -41
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node44/watcher-357199-1176990873 -o ROOT/results/node44/solver-357199-1176990873 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357199-1176990873/instance-357199-1176990873.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 3/77 4071 /proc/meminfo: memFree=1693576/2055920 swapFree=4150992/4192956 [pid=4071] ppid=4069 vsize=1468 CPUtime=0 /proc/4071/stat : 4071 (oree) R 4069 4071 3969 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 146999001 1503232 163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713872 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4071/statm: 367 163 130 317 0 46 0 [startup+0.0574591 s] /proc/loadavg: 0.91 0.95 0.97 3/77 4071 /proc/meminfo: memFree=1693576/2055920 swapFree=4150992/4192956 [pid=4071] ppid=4069 vsize=2656 CPUtime=0.05 /proc/4071/stat : 4071 (oree) R 4069 4071 3969 0 -1 4194304 466 0 0 0 5 0 0 0 18 0 1 0 146999001 2719744 448 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4071/statm: 664 448 130 317 0 343 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 2656 [startup+0.101463 s] /proc/loadavg: 0.91 0.95 0.97 3/77 4071 /proc/meminfo: memFree=1693576/2055920 swapFree=4150992/4192956 [pid=4071] ppid=4069 vsize=3640 CPUtime=0.09 /proc/4071/stat : 4071 (oree) R 4069 4071 3969 0 -1 4194304 705 0 0 0 9 0 0 0 18 0 1 0 146999001 3727360 687 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4071/statm: 910 687 130 317 0 589 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3640 [startup+0.301484 s] /proc/loadavg: 0.91 0.95 0.97 3/77 4071 /proc/meminfo: memFree=1693576/2055920 swapFree=4150992/4192956 [pid=4071] ppid=4069 vsize=7992 CPUtime=0.29 /proc/4071/stat : 4071 (oree) R 4069 4071 3969 0 -1 4194304 1817 0 0 0 29 0 0 0 19 0 1 0 146999001 8183808 1766 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4071/statm: 1998 1766 130 317 0 1677 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7992 [startup+0.701524 s] /proc/loadavg: 0.91 0.95 0.97 3/77 4071 /proc/meminfo: memFree=1693576/2055920 swapFree=4150992/4192956 [pid=4071] ppid=4069 vsize=21652 CPUtime=0.69 /proc/4071/stat : 4071 (oree) R 4069 4071 3969 0 -1 4194304 5282 0 0 0 67 2 0 0 23 0 1 0 146999001 22171648 5166 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4071/statm: 5413 5166 137 317 0 5092 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 21652 [startup+1.50161 s] /proc/loadavg: 0.91 0.95 0.97 2/78 4072 /proc/meminfo: memFree=1673344/2055920 swapFree=4150992/4192956 [pid=4071] ppid=4069 vsize=29508 CPUtime=1.49 /proc/4071/stat : 4071 (oree) R 4069 4071 3969 0 -1 4194304 7298 0 0 0 146 3 0 0 25 0 1 0 146999001 30216192 6537 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596223 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4071/statm: 7377 6537 170 317 0 7056 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 29508 [startup+3.10177 s] /proc/loadavg: 0.91 0.95 0.97 2/78 4072 /proc/meminfo: memFree=1665792/2055920 swapFree=4150992/4192956 [pid=4071] ppid=4069 vsize=36768 CPUtime=3.09 /proc/4071/stat : 4071 (oree) R 4069 4071 3969 0 -1 4194304 8983 0 0 0 305 4 0 0 25 0 1 0 146999001 37650432 8222 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4071/statm: 9192 8222 170 317 0 8871 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 36768 [startup+6.3011 s] /proc/loadavg: 0.92 0.95 0.97 2/78 4072 /proc/meminfo: memFree=1651328/2055920 swapFree=4150992/4192956 [pid=4071] ppid=4069 vsize=50520 CPUtime=6.29 /proc/4071/stat : 4071 (oree) R 4069 4071 3969 0 -1 4194304 12119 0 0 0 623 6 0 0 25 0 1 0 146999001 51732480 11358 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4071/statm: 12630 11358 170 317 0 12309 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 50520 [startup+12.7018 s] /proc/loadavg: 0.93 0.95 0.97 2/78 4072 /proc/meminfo: memFree=1627840/2055920 swapFree=4150992/4192956 [pid=4071] ppid=4069 vsize=74936 CPUtime=12.68 /proc/4071/stat : 4071 (oree) R 4069 4071 3969 0 -1 4194304 17664 0 0 0 1261 7 0 0 25 0 1 0 146999001 76734464 16903 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4071/statm: 18734 16903 170 317 0 18413 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 74936 [startup+25.5011 s] /proc/loadavg: 0.94 0.96 0.97 2/78 4072 /proc/meminfo: memFree=1590720/2055920 swapFree=4150992/4192956 [pid=4071] ppid=4069 vsize=115964 CPUtime=25.49 /proc/4071/stat : 4071 (oree) R 4069 4071 3969 0 -1 4194304 26770 0 0 0 2537 12 0 0 25 0 1 0 146999001 118747136 26009 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562768 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4071/statm: 28991 26009 170 317 0 28670 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 115964 [startup+51.1017 s] /proc/loadavg: 0.96 0.96 0.97 2/78 4072 /proc/meminfo: memFree=1533696/2055920 swapFree=4150992/4192956 [pid=4071] ppid=4069 vsize=183272 CPUtime=51.08 /proc/4071/stat : 4071 (oree) R 4069 4071 3969 0 -1 4194304 40962 0 0 0 5090 18 0 0 25 0 1 0 146999001 187670528 40201 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4071/statm: 45818 40201 170 317 0 45497 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 183272 [startup+102.306 s] /proc/loadavg: 0.98 0.96 0.97 2/78 4072 /proc/meminfo: memFree=1467712/2055920 swapFree=4150992/4192956 [pid=4071] ppid=4069 vsize=250000 CPUtime=102.27 /proc/4071/stat : 4071 (oree) R 4069 4071 3969 0 -1 4194304 57218 0 0 0 10201 26 0 0 25 0 1 0 146999001 256000000 56457 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4071/statm: 62500 56457 170 317 0 62179 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 250000 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 4072 /proc/meminfo: memFree=1386880/2055920 swapFree=4150992/4192956 [pid=4071] ppid=4069 vsize=351336 CPUtime=162.25 /proc/4071/stat : 4071 (oree) R 4069 4071 3969 0 -1 4194304 77531 0 0 0 16188 37 0 0 25 0 1 0 146999001 359768064 76770 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4071/statm: 87834 76770 170 317 0 87513 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 351336 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 4072 /proc/meminfo: memFree=1336192/2055920 swapFree=4150992/4192956 [pid=4071] ppid=4069 vsize=403580 CPUtime=222.23 /proc/4071/stat : 4071 (oree) R 4069 4071 3969 0 -1 4194304 90040 0 0 0 22180 43 0 0 25 0 1 0 146999001 413265920 89279 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4071/statm: 100895 89279 170 317 0 100574 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 403580 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 4072 /proc/meminfo: memFree=1287232/2055920 swapFree=4150992/4192956 [pid=4071] ppid=4069 vsize=454464 CPUtime=282.22 /proc/4071/stat : 4071 (oree) R 4069 4071 3969 0 -1 4194304 102396 0 0 0 28173 49 0 0 25 0 1 0 146999001 465371136 101635 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4071/statm: 113616 101635 170 317 0 113295 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 454464 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 4072 /proc/meminfo: memFree=1239744/2055920 swapFree=4150992/4192956 [pid=4071] ppid=4069 vsize=502248 CPUtime=342.2 /proc/4071/stat : 4071 (oree) R 4069 4071 3969 0 -1 4194304 114114 0 0 0 34165 55 0 0 25 0 1 0 146999001 514301952 113353 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4071/statm: 125562 113353 170 317 0 125241 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 502248 [startup+402.302 s] /proc/loadavg: 1.06 0.99 0.97 2/84 4154 /proc/meminfo: memFree=1192840/2055920 swapFree=4150992/4192956 [pid=4071] ppid=4069 vsize=550300 CPUtime=402.16 /proc/4071/stat : 4071 (oree) R 4069 4071 3969 0 -1 4194304 125617 0 0 0 40153 63 0 0 25 0 1 0 146999001 563507200 124856 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4071/statm: 137575 124856 170 317 0 137254 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 550300 [startup+462.302 s] /proc/loadavg: 1.08 1.00 0.98 2/78 4270 /proc/meminfo: memFree=1118976/2055920 swapFree=4150992/4192956 [pid=4071] ppid=4069 vsize=665884 CPUtime=462.08 /proc/4071/stat : 4071 (oree) R 4069 4071 3969 0 -1 4194304 144201 0 0 0 46137 71 0 0 25 0 1 0 146999001 681865216 143440 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278987 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4071/statm: 166471 143440 170 317 0 166150 0 Current children cumulated CPU time (s) 462.08 Current children cumulated vsize (KiB) 665884 [startup+522.302 s] /proc/loadavg: 1.09 1.01 0.98 2/78 4270 /proc/meminfo: memFree=1081792/2055920 swapFree=4150992/4192956 [pid=4071] ppid=4069 vsize=703532 CPUtime=522.07 /proc/4071/stat : 4071 (oree) R 4069 4071 3969 0 -1 4194304 153508 0 0 0 52132 75 0 0 25 0 1 0 146999001 720416768 152747 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4071/statm: 175883 152747 170 317 0 175562 0 Current children cumulated CPU time (s) 522.07 Current children cumulated vsize (KiB) 703532 [startup+582.301 s] /proc/loadavg: 1.08 1.03 0.99 2/78 4270 /proc/meminfo: memFree=1051648/2055920 swapFree=4150992/4192956 [pid=4071] ppid=4069 vsize=735048 CPUtime=582.04 /proc/4071/stat : 4071 (oree) R 4069 4071 3969 0 -1 4194304 161027 0 0 0 58126 78 0 0 25 0 1 0 146999001 752689152 160266 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4071/statm: 183762 160266 170 317 0 183441 0 Current children cumulated CPU time (s) 582.04 Current children cumulated vsize (KiB) 735048 [startup+642.301 s] /proc/loadavg: 1.11 1.05 1.00 2/78 4270 /proc/meminfo: memFree=1030592/2055920 swapFree=4150992/4192956 [pid=4071] ppid=4069 vsize=758344 CPUtime=642.04 /proc/4071/stat : 4071 (oree) R 4069 4071 3969 0 -1 4194304 166219 0 0 0 64123 81 0 0 25 0 1 0 146999001 776544256 165458 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563509 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4071/statm: 189586 165458 170 317 0 189265 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 758344 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.02 1.00 2/78 4270 /proc/meminfo: memFree=919488/2055920 swapFree=4150992/4192956 [pid=4071] ppid=4069 vsize=872984 CPUtime=881.97 /proc/4071/stat : 4071 (oree) R 4069 4071 3969 0 -1 4194304 193956 0 0 0 88102 95 0 0 25 0 1 0 146999001 893935616 193195 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4071/statm: 218246 193195 170 317 0 217925 0 Current children cumulated CPU time (s) 881.97 Current children cumulated vsize (KiB) 872984 [startup+942.302 s] /proc/loadavg: 1.00 1.02 1.00 2/78 4270 /proc/meminfo: memFree=893696/2055920 swapFree=4150992/4192956 [pid=4071] ppid=4069 vsize=899296 CPUtime=941.96 /proc/4071/stat : 4071 (oree) R 4069 4071 3969 0 -1 4194304 200439 0 0 0 94099 97 0 0 25 0 1 0 146999001 920879104 199678 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562692 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4071/statm: 224824 199678 170 317 0 224503 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 899296 [startup+1002.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 4270 /proc/meminfo: memFree=869376/2055920 swapFree=4150992/4192956 [pid=4071] ppid=4069 vsize=923520 CPUtime=1001.94 /proc/4071/stat : 4071 (oree) R 4069 4071 3969 0 -1 4194304 206463 0 0 0 100094 100 0 0 25 0 1 0 146999001 945684480 205702 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4071/statm: 230880 205702 170 317 0 230559 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 923520 [startup+1062.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 4270 /proc/meminfo: memFree=846464/2055920 swapFree=4150992/4192956 [pid=4071] ppid=4069 vsize=946820 CPUtime=1061.93 /proc/4071/stat : 4071 (oree) R 4069 4071 3969 0 -1 4194304 212248 0 0 0 106091 102 0 0 25 0 1 0 146999001 969543680 211487 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4071/statm: 236705 211487 170 317 0 236384 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 946820 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4270 /proc/meminfo: memFree=822016/2055920 swapFree=4150992/4192956 [pid=4071] ppid=4069 vsize=971536 CPUtime=1121.91 /proc/4071/stat : 4071 (oree) R 4069 4071 3969 0 -1 4194304 218236 0 0 0 112086 105 0 0 25 0 1 0 146999001 994852864 217475 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4071/statm: 242884 217475 170 317 0 242563 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 971536 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4270 /proc/meminfo: memFree=798912/2055920 swapFree=4150992/4192956 [pid=4071] ppid=4069 vsize=994952 CPUtime=1181.9 /proc/4071/stat : 4071 (oree) R 4069 4071 3969 0 -1 4194304 224101 0 0 0 118082 108 0 0 25 0 1 0 146999001 1018830848 223340 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4071/statm: 248738 223340 170 317 0 248417 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 994952 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4270 /proc/meminfo: memFree=779136/2055920 swapFree=4150992/4192956 [pid=4071] ppid=4069 vsize=1016376 CPUtime=1241.88 /proc/4071/stat : 4071 (oree) R 4069 4071 3969 0 -1 4194304 228960 0 0 0 124078 110 0 0 25 0 1 0 146999001 1040769024 228199 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4071/statm: 254094 228199 170 317 0 253773 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 1016376 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4270 /proc/meminfo: memFree=757568/2055920 swapFree=4150992/4192956 [pid=4071] ppid=4069 vsize=1037768 CPUtime=1301.87 /proc/4071/stat : 4071 (oree) R 4069 4071 3969 0 -1 4194304 234316 0 0 0 130073 114 0 0 25 0 1 0 146999001 1062674432 233555 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4071/statm: 259442 233555 170 317 0 259121 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 1037768 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4270 /proc/meminfo: memFree=734720/2055920 swapFree=4150992/4192956 [pid=4071] ppid=4069 vsize=1060808 CPUtime=1361.85 /proc/4071/stat : 4071 (oree) R 4069 4071 3969 0 -1 4194304 240059 0 0 0 136068 117 0 0 25 0 1 0 146999001 1086267392 239298 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4071/statm: 265202 239298 170 317 0 264881 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 1060808 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4270 /proc/meminfo: memFree=710016/2055920 swapFree=4150992/4192956 [pid=4071] ppid=4069 vsize=1085264 CPUtime=1421.84 /proc/4071/stat : 4071 (oree) R 4069 4071 3969 0 -1 4194304 246164 0 0 0 142064 120 0 0 25 0 1 0 146999001 1111310336 245403 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4071/statm: 271316 245403 170 317 0 270995 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 1085264 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4270 /proc/meminfo: memFree=648128/2055920 swapFree=4150992/4192956 [pid=4071] ppid=4069 vsize=1255076 CPUtime=1481.82 /proc/4071/stat : 4071 (oree) R 4069 4071 3969 0 -1 4194304 280173 0 0 0 148050 132 0 0 25 0 1 0 146999001 1285197824 260734 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4071/statm: 313769 260734 170 317 0 313448 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 1255076 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4270 /proc/meminfo: memFree=632192/2055920 swapFree=4150992/4192956 [pid=4071] ppid=4069 vsize=1275932 CPUtime=1541.81 /proc/4071/stat : 4071 (oree) R 4069 4071 3969 0 -1 4194304 284671 0 0 0 154046 135 0 0 25 0 1 0 146999001 1306554368 264770 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4071/statm: 318983 264770 170 317 0 318662 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 1275932 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4270 /proc/meminfo: memFree=607488/2055920 swapFree=4150992/4192956 [pid=4071] ppid=4069 vsize=1300696 CPUtime=1601.79 /proc/4071/stat : 4071 (oree) R 4069 4071 3969 0 -1 4194304 291131 0 0 0 160040 139 0 0 25 0 1 0 146999001 1331912704 270966 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4071/statm: 325174 270966 170 317 0 324853 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 1300696 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4270 /proc/meminfo: memFree=584256/2055920 swapFree=4150992/4192956 [pid=4071] ppid=4069 vsize=1323568 CPUtime=1661.77 /proc/4071/stat : 4071 (oree) R 4069 4071 3969 0 -1 4194304 297026 0 0 0 166035 142 0 0 25 0 1 0 146999001 1355333632 276696 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563622 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4071/statm: 330892 276696 170 317 0 330571 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 1323568 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4270 /proc/meminfo: memFree=560768/2055920 swapFree=4150992/4192956 [pid=4071] ppid=4069 vsize=1347228 CPUtime=1721.76 /proc/4071/stat : 4071 (oree) R 4069 4071 3969 0 -1 4194304 303047 0 0 0 172031 145 0 0 25 0 1 0 146999001 1379561472 282618 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4071/statm: 336807 282618 170 317 0 336486 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 1347228 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4270 /proc/meminfo: memFree=541952/2055920 swapFree=4150992/4192956 [pid=4071] ppid=4069 vsize=1368728 CPUtime=1781.74 /proc/4071/stat : 4071 (oree) R 4069 4071 3969 0 -1 4194304 307829 0 0 0 178027 147 0 0 25 0 1 0 146999001 1401577472 287268 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4071/statm: 342182 287268 170 317 0 341861 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 1368728 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4270 /proc/meminfo: memFree=532800/2055920 swapFree=4150992/4192956 [pid=4071] ppid=4069 vsize=1375312 CPUtime=1800.04 /proc/4071/stat : 4071 (oree) R 4069 4071 3969 0 -1 4194304 310165 0 0 0 179856 148 0 0 25 0 1 0 146999001 1408319488 289538 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4071/statm: 343828 289538 170 317 0 343507 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1375312 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4270 /proc/meminfo: memFree=532800/2055920 swapFree=4150992/4192956 [pid=4071] ppid=4069 vsize=0 CPUtime=1800.24 /proc/4071/stat : 4071 (oree) R 4069 4071 3969 0 -1 4194308 310181 0 0 0 179862 162 0 0 25 0 1 0 146999001 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4071/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.24 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.86 CPU time (s): 1800.31 CPU user time (s): 1798.63 CPU system time (s): 1.67874 CPU usage (%): 99.9692 Max. virtual memory (cumulated for all children) (KiB): 1375312 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.63 system time used= 1.67874 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 310181 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= 37563 runsolver used 2.09768 second user time and 4.44232 second system time The end
Begin job on node44 on Thu Apr 19 13:54:33 UTC 2007 IDJOB= 357199 IDBENCH= 2258 IDSOLVER= 172 FILE ID= node44/357199-1176990873 PBS_JOBID= 4630462 Free space on /tmp= 66411 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-5.opb COMMAND LINE= oree /tmp/evaluation/357199-1176990873/instance-357199-1176990873.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node44/watcher-357199-1176990873 -o ROOT/results/node44/solver-357199-1176990873 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357199-1176990873/instance-357199-1176990873.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 20471e978018d28aed0ca16c46de4e3d RANDOM SEED= 341623931 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node44.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.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1693920 kB Buffers: 41808 kB Cached: 227272 kB SwapCached: 18832 kB Active: 80204 kB Inactive: 218088 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1693920 kB SwapTotal: 4192956 kB SwapFree: 4150992 kB Dirty: 3564 kB Writeback: 0 kB Mapped: 32284 kB Slab: 49188 kB Committed_AS: 498608 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= 66411 MiB End job on node44 on Thu Apr 19 14:24:36 UTC 2007