Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | -41 | 1800.25 | 1800.77 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-4.opb |
MD5SUM | 1a88750537364c45876077f809191628 |
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.02 |
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 | 94308 |
Number of constraints which are clauses | 94308 |
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.01 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.01 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.01 c type "bsolo -h" for help 0.00/0.01 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.01 c Time Limit set to 1800 0.00/0.01 c Memory Limit set to 1800 MB 0.00/0.01 c Instance file /tmp/evaluation/353618-1176670896/instance-353618-1176670896.opb 0.00/0.01 c File size is 2301477 bytes. 0.28/0.38 c Highest Coefficient sum: 1272 0.28/0.38 c Parsing was ok!! 0.28/0.38 c Total parsing time: 0.374 s 0.38/0.41 c Var: 1272 Constr: 94308 94308/0/0 Lit: 188616 Watch. Lit: 188616 0.38/0.41 c Obj. Vars: 1272 (100 % of total variables) 3.08/3.15 c Pre-processing Time: 3.141 s 3.08/3.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.08/3.15 c 0 1272 94308 188616 2 188616 31436 0 0 3.14 3.08/3.15 c Switching off LPR mode. 3.08/3.17 o -35 3.157 3.08/3.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.08/3.17 c 0 1272 94309 189888 2 188653 32436 1 0 3.16 3.08/3.17 o -36 3.164 3.08/3.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.08/3.18 c 2 1272 94312 193630 2 188695 32436 4 0 3.17 3.08/3.18 o -39 3.17 4.58/4.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.58/4.65 c 2 1272 94313 194902 2 188736 32436 5 0 3.17 4.58/4.65 c 102 1272 94413 317917 3 188936 35680 105 31 3.24 4.58/4.65 c 353 1272 94664 626478 6 189438 39249 356 102 3.44 4.58/4.65 c 829 1272 95140 1211540 12 190390 43174 832 214 3.87 4.58/4.65 o -40 4.643 23.76/23.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 23.76/23.85 c 1542 1272 95854 2089338 21 191858 32436 1546 331 4.65 23.76/23.85 c 1643 1272 95955 2213326 23 192060 35680 1647 347 4.73 23.76/23.85 c 1893 1272 96205 2520411 26 192560 39249 1897 382 4.95 23.76/23.85 c 2368 1272 96680 3103890 32 193510 43174 2372 440 5.38 23.76/23.85 c 3181 1272 97493 4102619 42 195136 47492 3185 513 6.20 23.76/23.85 c 4502 1272 98814 5725472 57 197778 52242 4506 544 8.28 23.76/23.85 c 6583 1272 100895 8281738 82 201940 57467 6587 506 12.98 23.76/23.85 c 9806 1272 104118 12239697 117 208386 63214 9810 412 23.77 23.76/23.85 o -41 23.821 1799.97/1800.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.97/1800.52 c 9812 1272 104125 12248344 117 208441 32436 9817 411 23.82 1799.97/1800.52 c 9912 1272 104225 12371076 118 208641 35680 9917 414 23.91 1799.97/1800.52 c 10162 1272 104475 12677765 121 209141 39249 10167 411 24.67 1799.97/1800.52 c 10637 1272 104950 13260788 126 210091 43174 10642 421 25.22 1799.97/1800.52 c 11451 1272 105764 14260116 134 211719 47492 11456 439 26.07 1799.97/1800.52 c 12771 1272 107084 15880361 148 214359 52242 12776 458 27.86 1799.97/1800.52 c 14852 1272 109165 18433207 168 218521 57467 14857 434 34.20 1799.97/1800.52 c 18075 1272 112388 22385810 199 224967 63214 18080 450 40.14 1799.97/1800.52 c 23011 1272 117324 28442872 242 234839 69536 23016 427 53.88 1799.97/1800.52 c 30517 1272 124830 37655265 301 249851 76490 30522 340 89.56 1799.97/1800.52 c 41879 1272 136192 51594334 378 272575 84140 41884 250 167.04 1799.97/1800.52 c 59023 1272 153336 72620018 473 306863 92555 59028 207 284.27 1799.97/1800.52 c 84842 1272 179155 104296724 582 358501 101811 84847 101 837.09 1799.97/1800.52 c 123675 1272 127308 40686437 319 254657 111993 33000 78 1584.45 1799.97/1800.52 c Resources Exceeded 1799.97/1800.52 v -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 x1260 -x1259 -x1258 -x1257 -x1256 1799.97/1800.52 v -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 x1242 -x1241 -x1240 -x1239 1799.97/1800.52 v -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 1799.97/1800.52 v -x1221 -x1220 -x1219 -x1218 x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 1799.97/1800.52 v -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 1799.97/1800.52 v -x1187 -x1186 -x1185 x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 x1172 -x1171 -x1170 1799.97/1800.52 v -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 1799.97/1800.52 v -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 1799.97/1800.52 v -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 x1124 -x1123 -x1122 -x1121 -x1120 -x1119 1799.97/1800.52 v -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 1799.97/1800.52 v -x1101 x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 1799.97/1800.52 v -x1084 -x1083 -x1082 -x1081 x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 1799.97/1800.52 v -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 1799.97/1800.52 v -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 1799.97/1800.52 v -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 1799.97/1800.52 v -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 1799.97/1800.52 v -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 1799.97/1800.52 v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 x962 -x961 -x960 -x959 -x958 1799.97/1800.52 v -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 1799.97/1800.52 v -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 x922 -x921 -x920 -x919 -x918 -x917 -x916 1799.97/1800.52 v -x915 -x914 -x913 -x912 -x911 x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 1799.97/1800.52 v -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 1799.97/1800.52 v -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 1799.97/1800.52 v -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 x837 -x836 -x835 -x834 -x833 -x832 1799.97/1800.52 v -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 1799.97/1800.52 v -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 1799.97/1800.52 v -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 1799.97/1800.52 v -x768 -x767 -x766 -x765 x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 1799.97/1800.52 v -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 x732 -x731 -x730 -x729 -x728 -x727 1799.97/1800.52 v -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 x712 -x711 -x710 -x709 -x708 -x707 -x706 1799.97/1800.52 v -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 1799.97/1800.52 v -x684 -x683 -x682 x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 1799.97/1800.52 v -x663 -x662 x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 1799.97/1800.52 v -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 1799.97/1800.52 v x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 1799.97/1800.52 v -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 x584 -x583 -x582 -x581 -x580 1799.97/1800.52 v -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 1799.97/1800.52 v -x558 -x557 -x556 x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 x540 -x539 -x538 1799.97/1800.52 v -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 1799.97/1800.52 v -x516 -x515 -x514 x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 1799.97/1800.52 v -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 1799.97/1800.52 v -x474 -x473 -x472 -x471 x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 1799.97/1800.52 v -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 1799.97/1800.52 v -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 1799.97/1800.52 v -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 1799.97/1800.52 v -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 1799.97/1800.52 v -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 x354 -x353 -x352 -x351 -x350 -x349 1799.97/1800.52 v -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 1799.97/1800.52 v -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 1799.97/1800.52 v -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 1799.97/1800.52 v -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 1799.97/1800.52 v -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 1799.97/1800.52 v x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 1799.97/1800.52 v -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 1799.97/1800.52 v -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 1799.97/1800.52 v -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 1799.97/1800.52 v -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 x146 -x145 -x144 -x143 -x142 -x141 x140 -x139 1799.97/1800.52 v -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 1799.97/1800.52 v -x117 x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 1799.97/1800.52 v -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 x76 -x75 -x74 -x73 -x72 -x71 1799.97/1800.52 v x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 1799.97/1800.52 v -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 1799.97/1800.52 v -x18 -x17 -x16 -x15 -x14 x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 1799.97/1800.52 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.97/1800.52 c 28 144541 18615 170464 148174 66300954 53866 80 1800.00 1799.97/1800.52 c Objective: -41 1799.97/1800.52 s SATISFIABLE 1799.97/1800.52 c Total time: 1800 s
OK -41
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node1/watcher-353618-1176670896 -o ROOT/results/node1/solver-353618-1176670896 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353618-1176670896/instance-353618-1176670896.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.11 1.17 1.16 3/83 3732 /proc/meminfo: memFree=1777400/2055920 swapFree=4145880/4192956 [pid=3732] ppid=3730 vsize=13984 CPUtime=0 /proc/3732/stat : 3732 (bsolo3.0.16) R 3730 3732 8133 0 -1 4194304 364 0 3 0 0 0 0 0 18 0 1 0 143127460 14319616 335 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3732/statm: 3496 336 281 324 0 2003 0 [startup+0.094077 s] /proc/loadavg: 1.11 1.17 1.16 3/83 3732 /proc/meminfo: memFree=1777400/2055920 swapFree=4145880/4192956 [pid=3732] ppid=3730 vsize=8380 CPUtime=0.08 /proc/3732/stat : 3732 (bsolo3.0.16) R 3730 3732 8133 0 -1 4194304 1027 0 3 0 8 0 0 0 18 0 1 0 143127460 8581120 998 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 6264443 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3732/statm: 2095 998 406 324 0 602 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 8380 [startup+0.101092 s] /proc/loadavg: 1.11 1.17 1.16 3/83 3732 /proc/meminfo: memFree=1777400/2055920 swapFree=4145880/4192956 [pid=3732] ppid=3730 vsize=8520 CPUtime=0.08 /proc/3732/stat : 3732 (bsolo3.0.16) R 3730 3732 8133 0 -1 4194304 1082 0 3 0 8 0 0 0 18 0 1 0 143127460 8724480 1053 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 6264443 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3732/statm: 2130 1053 417 324 0 637 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 8520 [startup+0.301102 s] /proc/loadavg: 1.11 1.17 1.16 3/83 3732 /proc/meminfo: memFree=1777400/2055920 swapFree=4145880/4192956 [pid=3732] ppid=3730 vsize=13468 CPUtime=0.28 /proc/3732/stat : 3732 (bsolo3.0.16) R 3730 3732 8133 0 -1 4194304 2606 0 3 0 28 0 0 0 19 0 1 0 143127460 13791232 2577 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 6264443 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3732/statm: 3367 2577 715 324 0 1874 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 13468 [startup+0.701148 s] /proc/loadavg: 1.11 1.17 1.16 3/83 3732 /proc/meminfo: memFree=1777400/2055920 swapFree=4145880/4192956 [pid=3732] ppid=3730 vsize=20816 CPUtime=0.68 /proc/3732/stat : 3732 (bsolo3.0.16) R 3730 3732 8133 0 -1 4194304 5165 0 3 0 66 2 0 0 22 0 1 0 143127460 21315584 4574 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3732/statm: 5204 4574 307 324 0 4273 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 20816 [startup+1.50224 s] /proc/loadavg: 1.10 1.16 1.16 2/84 3733 /proc/meminfo: memFree=1759536/2055920 swapFree=4145880/4192956 [pid=3732] ppid=3730 vsize=20816 CPUtime=1.48 /proc/3732/stat : 3732 (bsolo3.0.16) R 3730 3732 8133 0 -1 4194304 5165 0 3 0 144 4 0 0 25 0 1 0 143127460 21315584 4574 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3732/statm: 5204 4574 307 324 0 4273 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 20816 [startup+3.10143 s] /proc/loadavg: 1.10 1.16 1.16 2/84 3735 /proc/meminfo: memFree=1759408/2055920 swapFree=4145880/4192956 [pid=3732] ppid=3730 vsize=20816 CPUtime=3.08 /proc/3732/stat : 3732 (bsolo3.0.16) R 3730 3732 8133 0 -1 4194304 5165 0 3 0 300 8 0 0 25 0 1 0 143127460 21315584 4574 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 6258803 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3732/statm: 5204 4574 307 324 0 4273 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 20816 [startup+6.30181 s] /proc/loadavg: 1.10 1.16 1.16 2/84 3737 /proc/meminfo: memFree=1724912/2055920 swapFree=4145880/4192956 [pid=3732] ppid=3730 vsize=69172 CPUtime=6.28 /proc/3732/stat : 3732 (bsolo3.0.16) R 3730 3732 8133 0 -1 4194304 18673 0 3 0 614 14 0 0 25 0 1 0 143127460 70832128 16660 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3732/statm: 17293 16660 312 324 0 16362 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 69172 [startup+12.7016 s] /proc/loadavg: 1.09 1.16 1.16 2/84 3741 /proc/meminfo: memFree=1666120/2055920 swapFree=4145880/4192956 [pid=3732] ppid=3730 vsize=118692 CPUtime=12.67 /proc/3732/stat : 3732 (bsolo3.0.16) R 3730 3732 8133 0 -1 4194304 31065 0 3 0 1248 19 0 0 25 0 1 0 143127460 121540608 29052 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3732/statm: 29673 29052 312 324 0 28742 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 118692 [startup+25.5011 s] /proc/loadavg: 1.07 1.15 1.15 2/78 3767 /proc/meminfo: memFree=1596984/2055920 swapFree=4145880/4192956 [pid=3732] ppid=3730 vsize=188924 CPUtime=25.46 /proc/3732/stat : 3732 (bsolo3.0.16) R 3730 3732 8133 0 -1 4194304 48635 0 3 0 2518 28 0 0 25 0 1 0 143127460 193458176 46622 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134586732 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3732/statm: 47231 46622 312 324 0 46300 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 188924 [startup+51.1011 s] /proc/loadavg: 1.05 1.14 1.15 2/78 3767 /proc/meminfo: memFree=1416528/2055920 swapFree=4145880/4192956 [pid=3732] ppid=3730 vsize=367676 CPUtime=51.04 /proc/3732/stat : 3732 (bsolo3.0.16) R 3730 3732 8133 0 -1 4194304 93315 0 3 0 5058 46 0 0 25 0 1 0 143127460 376500224 91302 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3732/statm: 91919 91302 312 324 0 90988 0 Current children cumulated CPU time (s) 51.04 Current children cumulated vsize (KiB) 367676 [startup+102.305 s] /proc/loadavg: 1.02 1.11 1.14 2/78 3767 /proc/meminfo: memFree=1227728/2055920 swapFree=4145880/4192956 [pid=3732] ppid=3730 vsize=553624 CPUtime=102.23 /proc/3732/stat : 3732 (bsolo3.0.16) R 3730 3732 8133 0 -1 4194304 139783 0 3 0 10153 70 0 0 25 0 1 0 143127460 566910976 137770 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3732/statm: 138406 137770 312 324 0 137475 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 553624 [startup+162.301 s] /proc/loadavg: 1.00 1.09 1.13 2/78 3767 /proc/meminfo: memFree=1113872/2055920 swapFree=4145880/4192956 [pid=3732] ppid=3730 vsize=668096 CPUtime=162.21 /proc/3732/stat : 3732 (bsolo3.0.16) R 3730 3732 8133 0 -1 4194304 168401 0 3 0 16137 84 0 0 25 0 1 0 143127460 684130304 166388 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3732/statm: 167024 166388 312 324 0 166093 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 668096 [startup+222.301 s] /proc/loadavg: 1.00 1.07 1.12 2/78 3767 /proc/meminfo: memFree=923600/2055920 swapFree=4145880/4192956 [pid=3732] ppid=3730 vsize=856956 CPUtime=222.2 /proc/3732/stat : 3732 (bsolo3.0.16) R 3730 3732 8133 0 -1 4194304 215624 0 3 0 22112 108 0 0 25 0 1 0 143127460 877522944 213611 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3732/statm: 214239 213611 312 324 0 213308 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 856956 [startup+282.301 s] /proc/loadavg: 1.00 1.05 1.10 2/78 3767 /proc/meminfo: memFree=840528/2055920 swapFree=4145880/4192956 [pid=3732] ppid=3730 vsize=940764 CPUtime=282.18 /proc/3732/stat : 3732 (bsolo3.0.16) R 3730 3732 8133 0 -1 4194304 236568 0 3 0 28099 119 0 0 25 0 1 0 143127460 963342336 234555 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3732/statm: 235191 234555 312 324 0 234260 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 940764 [startup+342.301 s] /proc/loadavg: 1.00 1.04 1.09 2/78 3767 /proc/meminfo: memFree=708368/2055920 swapFree=4145880/4192956 [pid=3732] ppid=3730 vsize=1071656 CPUtime=342.16 /proc/3732/stat : 3732 (bsolo3.0.16) R 3730 3732 8133 0 -1 4194304 269290 0 3 0 34082 134 0 0 25 0 1 0 143127460 1097375744 267277 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3732/statm: 267914 267277 312 324 0 266983 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 1071656 [startup+402.301 s] /proc/loadavg: 1.00 1.03 1.09 2/78 3767 /proc/meminfo: memFree=672592/2055920 swapFree=4145880/4192956 [pid=3732] ppid=3730 vsize=1107684 CPUtime=402.15 /proc/3732/stat : 3732 (bsolo3.0.16) R 3730 3732 8133 0 -1 4194304 278309 0 3 0 40076 139 0 0 25 0 1 0 143127460 1134268416 276296 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3732/statm: 276921 276296 312 324 0 275990 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 1107684 [startup+462.301 s] /proc/loadavg: 1.00 1.02 1.08 2/78 3767 /proc/meminfo: memFree=633296/2055920 swapFree=4145880/4192956 [pid=3732] ppid=3730 vsize=1146608 CPUtime=462.13 /proc/3732/stat : 3732 (bsolo3.0.16) R 3730 3732 8133 0 -1 4194304 288040 0 3 0 46070 143 0 0 25 0 1 0 143127460 1174126592 286027 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3732/statm: 286652 286027 312 324 0 285721 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 1146608 [startup+522.301 s] /proc/loadavg: 1.00 1.02 1.07 2/78 3767 /proc/meminfo: memFree=596944/2055920 swapFree=4145880/4192956 [pid=3732] ppid=3730 vsize=1182880 CPUtime=522.12 /proc/3732/stat : 3732 (bsolo3.0.16) R 3730 3732 8133 0 -1 4194304 297120 0 3 0 52063 149 0 0 25 0 1 0 143127460 1211269120 295107 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3732/statm: 295720 295107 312 324 0 294789 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 1182880 [startup+582.301 s] /proc/loadavg: 1.00 1.01 1.07 2/78 3767 /proc/meminfo: memFree=569488/2055920 swapFree=4145880/4192956 [pid=3732] ppid=3730 vsize=1210376 CPUtime=582.1 /proc/3732/stat : 3732 (bsolo3.0.16) R 3730 3732 8133 0 -1 4194304 303987 0 3 0 58057 153 0 0 25 0 1 0 143127460 1239425024 301974 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3732/statm: 302594 301974 312 324 0 301663 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 1210376 [startup+642.301 s] /proc/loadavg: 1.00 1.01 1.06 2/78 3767 /proc/meminfo: memFree=531792/2055920 swapFree=4145880/4192956 [pid=3732] ppid=3730 vsize=1247788 CPUtime=642.09 /proc/3732/stat : 3732 (bsolo3.0.16) R 3730 3732 8133 0 -1 4194304 313335 0 3 0 64050 159 0 0 25 0 1 0 143127460 1277734912 311322 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3732/statm: 311947 311322 312 324 0 311016 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 1247788 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.04 2/78 3767 /proc/meminfo: memFree=293520/2055920 swapFree=4145880/4192956 [pid=3732] ppid=3730 vsize=1485732 CPUtime=882.02 /proc/3732/stat : 3732 (bsolo3.0.16) R 3730 3732 8133 0 -1 4194304 372837 0 3 0 88010 192 0 0 25 0 1 0 143127460 1521389568 370824 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551108 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3732/statm: 371433 370824 312 324 0 370502 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 1485732 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.04 2/78 3767 /proc/meminfo: memFree=179728/2055920 swapFree=4145880/4192956 [pid=3732] ppid=3730 vsize=1600112 CPUtime=942 /proc/3732/stat : 3732 (bsolo3.0.16) R 3730 3732 8133 0 -1 4194304 401420 0 3 0 93996 204 0 0 25 0 1 0 143127460 1638514688 399407 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3732/statm: 400028 399407 312 324 0 399097 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 1600112 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.03 2/78 3767 /proc/meminfo: memFree=143248/2055920 swapFree=4145880/4192956 [pid=3732] ppid=3730 vsize=1635268 CPUtime=1001.99 /proc/3732/stat : 3732 (bsolo3.0.16) R 3730 3732 8133 0 -1 4194304 410318 0 3 0 99990 209 0 0 25 0 1 0 143127460 1674514432 408204 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3732/statm: 408817 408204 312 324 0 407886 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 1635268 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.03 2/78 3767 /proc/meminfo: memFree=143248/2055920 swapFree=4145880/4192956 [pid=3732] ppid=3730 vsize=1635268 CPUtime=1061.97 /proc/3732/stat : 3732 (bsolo3.0.16) R 3730 3732 8133 0 -1 4194304 410318 0 3 0 105988 209 0 0 25 0 1 0 143127460 1674514432 408204 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3732/statm: 408817 408204 312 324 0 407886 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 1635268 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.02 2/78 3767 /proc/meminfo: memFree=143248/2055920 swapFree=4145880/4192956 [pid=3732] ppid=3730 vsize=1635268 CPUtime=1121.96 /proc/3732/stat : 3732 (bsolo3.0.16) R 3730 3732 8133 0 -1 4194304 410318 0 3 0 111986 210 0 0 25 0 1 0 143127460 1674514432 408204 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3732/statm: 408817 408204 312 324 0 407886 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 1635268 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.01 2/78 3767 /proc/meminfo: memFree=143248/2055920 swapFree=4145880/4192956 [pid=3732] ppid=3730 vsize=1635268 CPUtime=1181.94 /proc/3732/stat : 3732 (bsolo3.0.16) R 3730 3732 8133 0 -1 4194304 410318 0 3 0 117984 210 0 0 25 0 1 0 143127460 1674514432 408204 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3732/statm: 408817 408204 312 324 0 407886 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 1635268 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.01 2/78 3767 /proc/meminfo: memFree=143248/2055920 swapFree=4145880/4192956 [pid=3732] ppid=3730 vsize=1635268 CPUtime=1241.92 /proc/3732/stat : 3732 (bsolo3.0.16) R 3730 3732 8133 0 -1 4194304 410318 0 3 0 123981 211 0 0 25 0 1 0 143127460 1674514432 408204 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551240 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3732/statm: 408817 408204 312 324 0 407886 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 1635268 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 3767 /proc/meminfo: memFree=143248/2055920 swapFree=4145880/4192956 [pid=3732] ppid=3730 vsize=1635268 CPUtime=1301.91 /proc/3732/stat : 3732 (bsolo3.0.16) R 3730 3732 8133 0 -1 4194304 410318 0 3 0 129978 213 0 0 25 0 1 0 143127460 1674514432 408204 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 6262330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3732/statm: 408817 408204 312 324 0 407886 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 1635268 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 3767 /proc/meminfo: memFree=143248/2055920 swapFree=4145880/4192956 [pid=3732] ppid=3730 vsize=1635268 CPUtime=1361.89 /proc/3732/stat : 3732 (bsolo3.0.16) R 3730 3732 8133 0 -1 4194304 410318 0 3 0 135975 214 0 0 25 0 1 0 143127460 1674514432 408204 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3732/statm: 408817 408204 312 324 0 407886 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 1635268 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 3767 /proc/meminfo: memFree=143248/2055920 swapFree=4145880/4192956 [pid=3732] ppid=3730 vsize=1635268 CPUtime=1421.88 /proc/3732/stat : 3732 (bsolo3.0.16) R 3730 3732 8133 0 -1 4194304 410318 0 3 0 141973 215 0 0 25 0 1 0 143127460 1674514432 408204 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551113 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3732/statm: 408817 408204 312 324 0 407886 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 1635268 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 3767 /proc/meminfo: memFree=143248/2055920 swapFree=4145880/4192956 [pid=3732] ppid=3730 vsize=1635268 CPUtime=1481.86 /proc/3732/stat : 3732 (bsolo3.0.16) R 3730 3732 8133 0 -1 4194304 410318 0 3 0 147970 216 0 0 25 0 1 0 143127460 1674514432 408204 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3732/statm: 408817 408204 312 324 0 407886 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 1635268 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 3767 /proc/meminfo: memFree=143248/2055920 swapFree=4145880/4192956 [pid=3732] ppid=3730 vsize=1635268 CPUtime=1541.84 /proc/3732/stat : 3732 (bsolo3.0.16) R 3730 3732 8133 0 -1 4194304 410318 0 3 0 153967 217 0 0 25 0 1 0 143127460 1674514432 408204 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3732/statm: 408817 408204 312 324 0 407886 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 1635268 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 3767 /proc/meminfo: memFree=143248/2055920 swapFree=4145880/4192956 [pid=3732] ppid=3730 vsize=1635268 CPUtime=1601.83 /proc/3732/stat : 3732 (bsolo3.0.16) R 3730 3732 8133 0 -1 4194304 410318 0 3 0 159964 219 0 0 25 0 1 0 143127460 1674514432 408204 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3732/statm: 408817 408204 312 324 0 407886 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 1635268 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 3767 /proc/meminfo: memFree=143248/2055920 swapFree=4145880/4192956 [pid=3732] ppid=3730 vsize=1635268 CPUtime=1661.81 /proc/3732/stat : 3732 (bsolo3.0.16) R 3730 3732 8133 0 -1 4194304 410318 0 3 0 165960 221 0 0 25 0 1 0 143127460 1674514432 408204 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3732/statm: 408817 408204 312 324 0 407886 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 1635268 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 3767 /proc/meminfo: memFree=143248/2055920 swapFree=4145880/4192956 [pid=3732] ppid=3730 vsize=1635268 CPUtime=1721.79 /proc/3732/stat : 3732 (bsolo3.0.16) R 3730 3732 8133 0 -1 4194304 410318 0 3 0 171957 222 0 0 25 0 1 0 143127460 1674514432 408204 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3732/statm: 408817 408204 312 324 0 407886 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 1635268 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 3767 /proc/meminfo: memFree=143248/2055920 swapFree=4145880/4192956 [pid=3732] ppid=3730 vsize=1635268 CPUtime=1781.78 /proc/3732/stat : 3732 (bsolo3.0.16) R 3730 3732 8133 0 -1 4194304 410318 0 3 0 177954 224 0 0 25 0 1 0 143127460 1674514432 408204 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551140 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3732/statm: 408817 408204 312 324 0 407886 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 1635268 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/78 3769 /proc/meminfo: memFree=692368/2055920 swapFree=4145880/4192956 [pid=3732] ppid=3730 vsize=0 CPUtime=1800.08 /proc/3732/stat : 3732 (bsolo3.0.16) R 3730 3732 8133 0 -1 4194308 410319 0 3 0 179775 233 0 0 17 0 1 0 143127460 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3732/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 0 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/78 3769 /proc/meminfo: memFree=692368/2055920 swapFree=4145880/4192956 [pid=3732] ppid=3730 vsize=0 CPUtime=1800.18 /proc/3732/stat : 3732 (bsolo3.0.16) R 3730 3732 8133 0 -1 4194308 410319 0 3 0 179775 243 0 0 18 0 1 0 143127460 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3732/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.18 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.77 CPU time (s): 1800.25 CPU user time (s): 1797.76 CPU system time (s): 2.49162 CPU usage (%): 99.971 Max. virtual memory (cumulated for all children) (KiB): 1635672 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.76 system time used= 2.49162 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 410319 page faults= 3 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 17 involuntary context switches= 35920 runsolver used 2.16367 second user time and 4.35234 second system time The end
Begin job on node1 on Sun Apr 15 21:01:36 UTC 2007 IDJOB= 353618 IDBENCH= 2256 IDSOLVER= 163 FILE ID= node1/353618-1176670896 PBS_JOBID= 4559378 Free space on /tmp= 66461 MiB SOLVER NAME= bsolo 3.0.16 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-4.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353618-1176670896/instance-353618-1176670896.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-353618-1176670896 -o ROOT/results/node1/solver-353618-1176670896 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353618-1176670896/instance-353618-1176670896.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 1a88750537364c45876077f809191628 RANDOM SEED= 806033261 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node1.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: 1777808 kB Buffers: 73932 kB Cached: 128264 kB SwapCached: 14248 kB Active: 136652 kB Inactive: 95304 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1777808 kB SwapTotal: 4192956 kB SwapFree: 4145880 kB Dirty: 6796 kB Writeback: 0 kB Mapped: 36536 kB Slab: 31204 kB Committed_AS: 4874372 kB PageTables: 2088 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= 66461 MiB End job on node1 on Sun Apr 15 21:31:39 UTC 2007