Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | -42 | 1800.25 | 1800.8 |
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 bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/353605-1176670534/instance-353605-1176670534.opb 0.00/0.00 c File size is 2298381 bytes. 0.29/0.37 c Highest Coefficient sum: 1272 0.29/0.37 c Parsing was ok!! 0.29/0.37 c Total parsing time: 0.373 s 0.39/0.41 c Var: 1272 Constr: 94127 94127/0/0 Lit: 188254 Watch. Lit: 188254 0.39/0.41 c Obj. Vars: 1272 (100 % of total variables) 3.09/3.18 c Pre-processing Time: 3.182 s 3.09/3.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.09/3.19 c 0 1272 94127 188254 2 188254 31375 0 0 3.18 3.09/3.19 c Switching off LPR mode. 3.09/3.20 o -37 3.198 3.19/3.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.19/3.20 c 0 1272 94128 189526 2 188293 32375 1 0 3.20 3.19/3.20 o -38 3.205 9.48/9.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.48/9.50 c 1 1272 94130 192029 2 188335 32375 3 0 3.21 9.48/9.50 c 102 1272 94231 316312 3 188537 35613 104 31 3.28 9.48/9.50 c 353 1272 94482 625281 6 189039 39175 355 101 3.47 9.48/9.50 c 828 1272 94957 1209876 12 189989 43093 830 213 3.88 9.48/9.50 c 1641 1272 95770 2210283 23 191615 47403 1643 354 4.63 9.48/9.50 c 2961 1272 97090 3834397 39 194255 52144 2963 471 6.28 9.48/9.50 c 5042 1272 99171 6394183 64 198417 57359 5044 543 9.27 9.48/9.50 o -39 9.502 11.58/11.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.58/11.69 c 5302 1272 99432 6715282 67 198978 32375 5305 557 9.51 11.58/11.69 c 5402 1272 99532 6838207 68 199178 35613 5405 563 9.59 11.58/11.69 c 5652 1272 99782 7145518 71 199678 39175 5655 568 9.95 11.58/11.69 c 6127 1272 100257 7729189 77 200628 43093 6130 588 10.42 11.58/11.69 c 6940 1272 101070 8728610 86 202254 47403 6943 601 11.55 11.58/11.69 o -40 11.689 326.70/326.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 326.70/326.88 c 7095 1272 101226 8920321 88 202606 32375 7099 606 11.69 326.70/326.88 c 7195 1272 101326 9043145 89 202806 35613 7199 610 11.78 326.70/326.88 c 7445 1272 101576 9350203 92 203306 39175 7449 619 12.02 326.70/326.88 c 7922 1272 102053 9936348 97 204260 43093 7926 632 12.53 326.70/326.88 c 8735 1272 102866 10934350 106 205886 47403 8739 632 13.81 326.70/326.88 c 10055 1272 104186 12555611 120 208526 52144 10059 642 15.64 326.70/326.88 c 12137 1272 106268 15113218 142 212690 57359 12141 647 18.76 326.70/326.88 c 15361 1272 109492 19074973 174 219138 63095 15365 608 25.26 326.70/326.88 c 20297 1272 114428 25138279 219 229010 69405 20301 555 36.54 326.70/326.88 c 27804 1272 121935 34359593 281 244024 76346 27808 383 72.59 326.70/326.88 c 39166 1272 133297 48313428 362 266748 83981 39170 228 171.74 326.70/326.88 c 56311 1272 150442 69375198 461 301038 92380 56315 185 303.10 326.70/326.88 o -41 326.791 379.32/379.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 379.32/379.55 c 62286 1272 156418 76716701 490 313031 32375 62291 190 326.80 379.32/379.55 o -42 379.377 1799.95/1800.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.95/1800.54 c 62286 1272 106135 14937517 140 212353 32375 12008 164 379.38 1799.95/1800.54 c 62387 1272 106236 15061225 141 212555 35613 12109 164 379.52 1799.95/1800.54 c 62637 1272 106486 15367885 144 213055 39175 12359 164 379.83 1799.95/1800.54 c 63112 1272 106961 15950319 149 214005 43093 12834 165 380.42 1799.95/1800.54 c 63925 1272 107774 16946706 157 215631 47403 13647 167 382.07 1799.95/1800.54 c 65245 1272 109094 18565036 170 218271 52144 14967 169 384.47 1799.95/1800.54 c 67327 1272 111176 21116752 189 222435 57359 17049 171 391.58 1799.95/1800.54 c 70551 1272 114400 25068359 219 228883 63095 20273 175 402.19 1799.95/1800.54 c 75489 1272 119338 31124001 260 238759 69405 25211 180 417.85 1799.95/1800.54 c 82996 1272 126845 40324897 317 253773 76346 32718 185 446.54 1799.95/1800.54 c 94357 1272 138206 54245871 392 276495 83981 44079 193 486.58 1799.95/1800.54 c 111502 1272 155351 75259384 484 310785 92380 61224 180 617.91 1799.95/1800.54 c 137322 1272 181171 106906309 590 362425 101619 87044 155 881.99 1799.95/1800.54 c 176154 1272 129482 43530975 336 259006 111781 35355 122 1439.07 1799.95/1800.54 c Resources Exceeded 1799.95/1800.54 v x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 1799.95/1800.54 v -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 1799.95/1800.54 v -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 1799.95/1800.54 v -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 1799.95/1800.54 v -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 1799.95/1800.54 v -x1187 -x1186 x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 x1171 -x1170 1799.95/1800.54 v -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 1799.95/1800.54 v -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 1799.95/1800.54 v -x1135 -x1134 -x1133 x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 1799.95/1800.54 v -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 x1102 1799.95/1800.54 v -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 1799.95/1800.54 v -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 1799.95/1800.54 v -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 1799.95/1800.54 v -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 x1036 -x1035 -x1034 1799.95/1800.54 v -x1033 -x1032 -x1031 x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 1799.95/1800.54 v -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 x1005 -x1004 -x1003 -x1002 -x1001 -x1000 1799.95/1800.54 v -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 1799.95/1800.54 v -x978 -x977 -x976 -x975 -x974 -x973 x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 1799.95/1800.54 v -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 1799.95/1800.54 v -x936 x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 1799.95/1800.54 v -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 1799.95/1800.54 v -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 1799.95/1800.54 v -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 1799.95/1800.54 v -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 1799.95/1800.54 v -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 1799.95/1800.54 v -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 1799.95/1800.54 v -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 x774 -x773 -x772 -x771 -x770 -x769 1799.95/1800.54 v -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 x750 -x749 -x748 1799.95/1800.54 v -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 1799.95/1800.54 v -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 x708 -x707 -x706 1799.95/1800.54 v -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 x687 -x686 -x685 1799.95/1800.54 v -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 x669 -x668 -x667 -x666 -x665 -x664 1799.95/1800.54 v -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 1799.95/1800.54 v -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 1799.95/1800.54 v -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 1799.95/1800.54 v -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 1799.95/1800.54 v -x579 -x578 -x577 -x576 -x575 -x574 -x573 x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 1799.95/1800.54 v -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 x542 -x541 -x540 -x539 -x538 1799.95/1800.54 v -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 1799.95/1800.54 v -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 x500 -x499 -x498 -x497 -x496 1799.95/1800.54 v -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 1799.95/1800.54 v -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 x458 -x457 -x456 -x455 -x454 1799.95/1800.54 v -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 1799.95/1800.54 v -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 x416 -x415 -x414 -x413 -x412 1799.95/1800.54 v -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 1799.95/1800.54 v -x390 -x389 -x388 x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 1799.95/1800.54 v -x369 -x368 -x367 -x366 -x365 -x364 x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 1799.95/1800.54 v -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 1799.95/1800.54 v -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 1799.95/1800.54 v -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 x292 -x291 -x290 -x289 -x288 -x287 -x286 1799.95/1800.54 v -x285 x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 1799.95/1800.54 v -x264 -x263 -x262 -x261 -x260 -x259 -x258 x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 1799.95/1800.54 v -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 x224 -x223 1799.95/1800.54 v -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 1799.95/1800.54 v -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 1799.95/1800.54 v -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 1799.95/1800.54 v -x159 -x158 -x157 -x156 -x155 -x154 x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 1799.95/1800.54 v -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 1799.95/1800.54 v -x117 -x116 -x115 -x114 -x113 -x112 x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 1799.95/1800.54 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.95/1800.54 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.95/1800.54 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.95/1800.54 v -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 x2 -x1 1799.95/1800.54 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.95/1800.54 c 40 199684 21849 229465 153012 72369089 58885 110 1800.00 1799.95/1800.54 c Objective: -42 1799.95/1800.54 s SATISFIABLE 1799.95/1800.54 c Total time: 1800 s
OK -42
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node48/watcher-353605-1176670534 -o ROOT/results/node48/solver-353605-1176670534 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353605-1176670534/instance-353605-1176670534.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: 0.99 0.97 0.99 3/64 5883 /proc/meminfo: memFree=1791032/2055920 swapFree=4184696/4192956 [pid=5883] ppid=5881 vsize=13984 CPUtime=0 /proc/5883/stat : 5883 (bsolo3.0.16) R 5881 5883 5471 0 -1 4194304 366 0 0 0 0 0 0 0 18 0 1 0 21898751 14319616 334 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 3966587 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5883/statm: 3496 334 281 324 0 2003 0 [startup+0.00715695 s] /proc/loadavg: 0.99 0.97 0.99 3/64 5883 /proc/meminfo: memFree=1791032/2055920 swapFree=4184696/4192956 [pid=5883] ppid=5881 vsize=6320 CPUtime=0 /proc/5883/stat : 5883 (bsolo3.0.16) R 5881 5883 5471 0 -1 4194304 393 0 0 0 0 0 0 0 18 0 1 0 21898751 6471680 361 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5883/statm: 1580 362 285 324 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6320 [startup+0.101166 s] /proc/loadavg: 0.99 0.97 0.99 3/64 5883 /proc/meminfo: memFree=1791032/2055920 swapFree=4184696/4192956 [pid=5883] ppid=5881 vsize=8660 CPUtime=0.09 /proc/5883/stat : 5883 (bsolo3.0.16) R 5881 5883 5471 0 -1 4194304 1133 0 0 0 9 0 0 0 18 0 1 0 21898751 8867840 1101 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 3966587 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5883/statm: 2165 1102 426 324 0 672 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8660 [startup+0.301184 s] /proc/loadavg: 0.99 0.97 0.99 3/64 5883 /proc/meminfo: memFree=1791032/2055920 swapFree=4184696/4192956 [pid=5883] ppid=5881 vsize=13608 CPUtime=0.29 /proc/5883/stat : 5883 (bsolo3.0.16) R 5881 5883 5471 0 -1 4194304 2656 0 0 0 28 1 0 0 19 0 1 0 21898751 13934592 2624 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5883/statm: 3402 2624 724 324 0 1909 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13608 [startup+0.70122 s] /proc/loadavg: 0.99 0.97 0.99 3/64 5883 /proc/meminfo: memFree=1791032/2055920 swapFree=4184696/4192956 [pid=5883] ppid=5881 vsize=20804 CPUtime=0.69 /proc/5883/stat : 5883 (bsolo3.0.16) R 5881 5883 5471 0 -1 4194304 5160 0 0 0 67 2 0 0 22 0 1 0 21898751 21303296 4566 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5883/statm: 5201 4566 307 324 0 4270 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 20804 [startup+1.50129 s] /proc/loadavg: 0.99 0.97 0.99 2/65 5884 /proc/meminfo: memFree=1774000/2055920 swapFree=4184696/4192956 [pid=5883] ppid=5881 vsize=20804 CPUtime=1.48 /proc/5883/stat : 5883 (bsolo3.0.16) R 5881 5883 5471 0 -1 4194304 5160 0 0 0 145 3 0 0 25 0 1 0 21898751 21303296 4566 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5883/statm: 5201 4566 307 324 0 4270 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 20804 [startup+3.10144 s] /proc/loadavg: 0.99 0.97 0.99 2/65 5884 /proc/meminfo: memFree=1773872/2055920 swapFree=4184696/4192956 [pid=5883] ppid=5881 vsize=20804 CPUtime=3.09 /proc/5883/stat : 5883 (bsolo3.0.16) R 5881 5883 5471 0 -1 4194304 5160 0 0 0 302 7 0 0 25 0 1 0 21898751 21303296 4566 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5883/statm: 5201 4566 307 324 0 4270 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 20804 [startup+6.30174 s] /proc/loadavg: 0.99 0.97 0.99 2/65 5884 /proc/meminfo: memFree=1738800/2055920 swapFree=4184696/4192956 [pid=5883] ppid=5881 vsize=64680 CPUtime=6.29 /proc/5883/stat : 5883 (bsolo3.0.16) R 5881 5883 5471 0 -1 4194304 17555 0 0 0 617 12 0 0 25 0 1 0 21898751 66232320 15542 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134572772 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5883/statm: 16170 15546 312 324 0 15239 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 64680 [startup+12.7013 s] /proc/loadavg: 0.99 0.97 0.99 2/65 5884 /proc/meminfo: memFree=1659632/2055920 swapFree=4184696/4192956 [pid=5883] ppid=5881 vsize=143304 CPUtime=12.69 /proc/5883/stat : 5883 (bsolo3.0.16) R 5881 5883 5471 0 -1 4194304 37207 0 0 0 1249 20 0 0 25 0 1 0 21898751 146743296 35194 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5883/statm: 35826 35194 312 324 0 34895 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 143304 [startup+25.5015 s] /proc/loadavg: 0.99 0.97 0.99 2/65 5884 /proc/meminfo: memFree=1535344/2055920 swapFree=4184696/4192956 [pid=5883] ppid=5881 vsize=262464 CPUtime=25.48 /proc/5883/stat : 5883 (bsolo3.0.16) R 5881 5883 5471 0 -1 4194304 67021 0 0 0 2515 33 0 0 25 0 1 0 21898751 268763136 65008 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5883/statm: 65616 65008 312 324 0 64685 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 262464 [startup+51.1019 s] /proc/loadavg: 0.99 0.97 0.99 2/65 5884 /proc/meminfo: memFree=1387632/2055920 swapFree=4184696/4192956 [pid=5883] ppid=5881 vsize=407764 CPUtime=51.07 /proc/5883/stat : 5883 (bsolo3.0.16) R 5881 5883 5471 0 -1 4194304 103346 0 0 0 5055 52 0 0 25 0 1 0 21898751 417550336 101333 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551255 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5883/statm: 101941 101333 312 324 0 101010 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 407764 [startup+102.306 s] /proc/loadavg: 0.99 0.97 0.99 2/65 5884 /proc/meminfo: memFree=1264880/2055920 swapFree=4184696/4192956 [pid=5883] ppid=5881 vsize=529156 CPUtime=102.27 /proc/5883/stat : 5883 (bsolo3.0.16) R 5881 5883 5471 0 -1 4194304 133691 0 0 0 10160 67 0 0 25 0 1 0 21898751 541855744 131678 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5883/statm: 132289 131678 312 324 0 131358 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 529156 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 5884 /proc/meminfo: memFree=1176176/2055920 swapFree=4184696/4192956 [pid=5883] ppid=5881 vsize=618748 CPUtime=162.25 /proc/5883/stat : 5883 (bsolo3.0.16) R 5881 5883 5471 0 -1 4194304 156088 0 0 0 16146 79 0 0 25 0 1 0 21898751 633597952 154075 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 3964456 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5883/statm: 154687 154075 312 324 0 153756 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 618748 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 5884 /proc/meminfo: memFree=1009840/2055920 swapFree=4184696/4192956 [pid=5883] ppid=5881 vsize=784536 CPUtime=222.23 /proc/5883/stat : 5883 (bsolo3.0.16) R 5881 5883 5471 0 -1 4194304 197519 0 0 0 22123 100 0 0 25 0 1 0 21898751 803364864 195506 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5883/statm: 196134 195506 312 324 0 195203 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 784536 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 5884 /proc/meminfo: memFree=919216/2055920 swapFree=4184696/4192956 [pid=5883] ppid=5881 vsize=874788 CPUtime=282.22 /proc/5883/stat : 5883 (bsolo3.0.16) R 5881 5883 5471 0 -1 4194304 220098 0 0 0 28109 113 0 0 25 0 1 0 21898751 895782912 218085 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5883/statm: 218697 218085 312 324 0 217766 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 874788 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.99 2/71 5974 /proc/meminfo: memFree=795008/2055920 swapFree=4184696/4192956 [pid=5883] ppid=5881 vsize=996580 CPUtime=342.16 /proc/5883/stat : 5883 (bsolo3.0.16) R 5881 5883 5471 0 -1 4194304 250599 0 0 0 34088 128 0 0 25 0 1 0 21898751 1020497920 248525 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5883/statm: 249145 248525 312 324 0 248214 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 996580 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 6082 /proc/meminfo: memFree=795888/2055920 swapFree=4184696/4192956 [pid=5883] ppid=5881 vsize=996580 CPUtime=402.1 /proc/5883/stat : 5883 (bsolo3.0.16) R 5881 5883 5471 0 -1 4194304 250599 0 0 0 40079 131 0 0 25 0 1 0 21898751 1020497920 248525 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5883/statm: 249145 248525 312 324 0 248214 0 Current children cumulated CPU time (s) 402.1 Current children cumulated vsize (KiB) 996580 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 6082 /proc/meminfo: memFree=795888/2055920 swapFree=4184696/4192956 [pid=5883] ppid=5881 vsize=996580 CPUtime=462.08 /proc/5883/stat : 5883 (bsolo3.0.16) R 5881 5883 5471 0 -1 4194304 250599 0 0 0 46074 134 0 0 25 0 1 0 21898751 1020497920 248525 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5883/statm: 249145 248525 312 324 0 248214 0 Current children cumulated CPU time (s) 462.08 Current children cumulated vsize (KiB) 996580 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 6082 /proc/meminfo: memFree=795888/2055920 swapFree=4184696/4192956 [pid=5883] ppid=5881 vsize=996580 CPUtime=522.06 /proc/5883/stat : 5883 (bsolo3.0.16) R 5881 5883 5471 0 -1 4194304 250599 0 0 0 52069 137 0 0 25 0 1 0 21898751 1020497920 248525 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551108 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5883/statm: 249145 248525 312 324 0 248214 0 Current children cumulated CPU time (s) 522.06 Current children cumulated vsize (KiB) 996580 [startup+582.301 s] /proc/loadavg: 1.04 0.99 0.99 2/65 6082 /proc/meminfo: memFree=795888/2055920 swapFree=4184696/4192956 [pid=5883] ppid=5881 vsize=996580 CPUtime=582.04 /proc/5883/stat : 5883 (bsolo3.0.16) R 5881 5883 5471 0 -1 4194304 250599 0 0 0 58066 138 0 0 25 0 1 0 21898751 1020497920 248525 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5883/statm: 249145 248525 312 324 0 248214 0 Current children cumulated CPU time (s) 582.04 Current children cumulated vsize (KiB) 996580 [startup+642.302 s] /proc/loadavg: 1.05 1.00 1.00 2/65 6082 /proc/meminfo: memFree=698288/2055920 swapFree=4184696/4192956 [pid=5883] ppid=5881 vsize=1094128 CPUtime=642.03 /proc/5883/stat : 5883 (bsolo3.0.16) R 5881 5883 5471 0 -1 4194304 274979 0 0 0 64051 152 0 0 25 0 1 0 21898751 1120387072 272905 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551296 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5883/statm: 273532 272905 312 324 0 272601 0 Current children cumulated CPU time (s) 642.03 Current children cumulated vsize (KiB) 1094128 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.01 1.00 2/65 6084 /proc/meminfo: memFree=409456/2055920 swapFree=4184696/4192956 [pid=5883] ppid=5881 vsize=1382688 CPUtime=881.98 /proc/5883/stat : 5883 (bsolo3.0.16) R 5881 5883 5471 0 -1 4194304 347110 0 0 0 87999 199 0 0 25 0 1 0 21898751 1415872512 345036 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5883/statm: 345672 345036 312 324 0 344741 0 Current children cumulated CPU time (s) 881.98 Current children cumulated vsize (KiB) 1382688 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6084 /proc/meminfo: memFree=219504/2055920 swapFree=4184696/4192956 [pid=5883] ppid=5881 vsize=1572828 CPUtime=941.96 /proc/5883/stat : 5883 (bsolo3.0.16) R 5881 5883 5471 0 -1 4194304 394650 0 0 0 93971 225 0 0 25 0 1 0 21898751 1610575872 392576 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5883/statm: 393207 392576 312 324 0 392276 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 1572828 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6084 /proc/meminfo: memFree=160432/2055920 swapFree=4184696/4192956 [pid=5883] ppid=5881 vsize=1630788 CPUtime=1001.95 /proc/5883/stat : 5883 (bsolo3.0.16) R 5881 5883 5471 0 -1 4194304 409256 0 0 0 99963 232 0 0 25 0 1 0 21898751 1669926912 407081 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5883/statm: 407697 407081 312 324 0 406766 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 1630788 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6084 /proc/meminfo: memFree=160432/2055920 swapFree=4184696/4192956 [pid=5883] ppid=5881 vsize=1630788 CPUtime=1061.93 /proc/5883/stat : 5883 (bsolo3.0.16) R 5881 5883 5471 0 -1 4194304 409256 0 0 0 105961 232 0 0 25 0 1 0 21898751 1669926912 407081 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5883/statm: 407697 407081 312 324 0 406766 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 1630788 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6084 /proc/meminfo: memFree=160432/2055920 swapFree=4184696/4192956 [pid=5883] ppid=5881 vsize=1630788 CPUtime=1121.92 /proc/5883/stat : 5883 (bsolo3.0.16) R 5881 5883 5471 0 -1 4194304 409256 0 0 0 111959 233 0 0 25 0 1 0 21898751 1669926912 407081 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5883/statm: 407697 407081 312 324 0 406766 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 1630788 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6084 /proc/meminfo: memFree=160432/2055920 swapFree=4184696/4192956 [pid=5883] ppid=5881 vsize=1630788 CPUtime=1181.9 /proc/5883/stat : 5883 (bsolo3.0.16) R 5881 5883 5471 0 -1 4194304 409256 0 0 0 117956 234 0 0 25 0 1 0 21898751 1669926912 407081 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5883/statm: 407697 407081 312 324 0 406766 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 1630788 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6084 /proc/meminfo: memFree=160368/2055920 swapFree=4184696/4192956 [pid=5883] ppid=5881 vsize=1630788 CPUtime=1241.88 /proc/5883/stat : 5883 (bsolo3.0.16) R 5881 5883 5471 0 -1 4194304 409256 0 0 0 123954 234 0 0 25 0 1 0 21898751 1669926912 407081 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5883/statm: 407697 407081 312 324 0 406766 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 1630788 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6084 /proc/meminfo: memFree=160368/2055920 swapFree=4184696/4192956 [pid=5883] ppid=5881 vsize=1630788 CPUtime=1301.88 /proc/5883/stat : 5883 (bsolo3.0.16) R 5881 5883 5471 0 -1 4194304 409256 0 0 0 129953 235 0 0 25 0 1 0 21898751 1669926912 407081 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5883/statm: 407697 407081 312 324 0 406766 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 1630788 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6084 /proc/meminfo: memFree=160304/2055920 swapFree=4184696/4192956 [pid=5883] ppid=5881 vsize=1630788 CPUtime=1361.86 /proc/5883/stat : 5883 (bsolo3.0.16) R 5881 5883 5471 0 -1 4194304 409256 0 0 0 135949 237 0 0 25 0 1 0 21898751 1669926912 407081 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5883/statm: 407697 407081 312 324 0 406766 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 1630788 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6084 /proc/meminfo: memFree=160304/2055920 swapFree=4184696/4192956 [pid=5883] ppid=5881 vsize=1630788 CPUtime=1421.85 /proc/5883/stat : 5883 (bsolo3.0.16) R 5881 5883 5471 0 -1 4194304 409256 0 0 0 141947 238 0 0 25 0 1 0 21898751 1669926912 407081 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5883/statm: 407697 407081 312 324 0 406766 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 1630788 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6084 /proc/meminfo: memFree=160304/2055920 swapFree=4184696/4192956 [pid=5883] ppid=5881 vsize=1630788 CPUtime=1481.83 /proc/5883/stat : 5883 (bsolo3.0.16) R 5881 5883 5471 0 -1 4194304 409256 0 0 0 147943 240 0 0 25 0 1 0 21898751 1669926912 407081 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551102 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5883/statm: 407697 407081 312 324 0 406766 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 1630788 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6084 /proc/meminfo: memFree=160304/2055920 swapFree=4184696/4192956 [pid=5883] ppid=5881 vsize=1630788 CPUtime=1541.81 /proc/5883/stat : 5883 (bsolo3.0.16) R 5881 5883 5471 0 -1 4194304 409256 0 0 0 153940 241 0 0 25 0 1 0 21898751 1669926912 407081 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160521804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5883/statm: 407697 407081 312 324 0 406766 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 1630788 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6084 /proc/meminfo: memFree=160304/2055920 swapFree=4184696/4192956 [pid=5883] ppid=5881 vsize=1630788 CPUtime=1601.8 /proc/5883/stat : 5883 (bsolo3.0.16) R 5881 5883 5471 0 -1 4194304 409256 0 0 0 159937 243 0 0 25 0 1 0 21898751 1669926912 407081 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5883/statm: 407697 407081 312 324 0 406766 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 1630788 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6084 /proc/meminfo: memFree=160304/2055920 swapFree=4184696/4192956 [pid=5883] ppid=5881 vsize=1630788 CPUtime=1661.78 /proc/5883/stat : 5883 (bsolo3.0.16) R 5881 5883 5471 0 -1 4194304 409256 0 0 0 165935 243 0 0 25 0 1 0 21898751 1669926912 407081 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5883/statm: 407697 407081 312 324 0 406766 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 1630788 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 3/65 6084 /proc/meminfo: memFree=160304/2055920 swapFree=4184696/4192956 [pid=5883] ppid=5881 vsize=1630788 CPUtime=1721.77 /proc/5883/stat : 5883 (bsolo3.0.16) R 5881 5883 5471 0 -1 4194304 409256 0 0 0 171933 244 0 0 25 0 1 0 21898751 1669926912 407081 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5883/statm: 407697 407081 312 324 0 406766 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 1630788 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6084 /proc/meminfo: memFree=160240/2055920 swapFree=4184696/4192956 [pid=5883] ppid=5881 vsize=1630788 CPUtime=1781.76 /proc/5883/stat : 5883 (bsolo3.0.16) R 5881 5883 5471 0 -1 4194304 409256 0 0 0 177931 245 0 0 25 0 1 0 21898751 1669926912 407081 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5883/statm: 407697 407081 312 324 0 406766 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 1630788 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6084 /proc/meminfo: memFree=554096/2055920 swapFree=4184696/4192956 [pid=5883] ppid=5881 vsize=0 CPUtime=1800.05 /proc/5883/stat : 5883 (bsolo3.0.16) R 5881 5883 5471 0 -1 4194308 409257 0 0 0 179754 251 0 0 17 0 1 0 21898751 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5883/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 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/65 6084 /proc/meminfo: memFree=554096/2055920 swapFree=4184696/4192956 [pid=5883] ppid=5881 vsize=0 CPUtime=1800.15 /proc/5883/stat : 5883 (bsolo3.0.16) R 5881 5883 5471 0 -1 4194308 409257 0 0 0 179754 261 0 0 18 0 1 0 21898751 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5883/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.15 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.8 CPU time (s): 1800.25 CPU user time (s): 1797.55 CPU system time (s): 2.70259 CPU usage (%): 99.9698 Max. virtual memory (cumulated for all children) (KiB): 1631192 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.55 system time used= 2.70259 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 409257 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= 14 involuntary context switches= 2154 runsolver used 1.17782 second user time and 3.81042 second system time The end
Begin job on node48 on Sun Apr 15 20:55:34 UTC 2007 IDJOB= 353605 IDBENCH= 2255 IDSOLVER= 163 FILE ID= node48/353605-1176670534 PBS_JOBID= 4559937 Free space on /tmp= 66557 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-3.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353605-1176670534/instance-353605-1176670534.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node48/watcher-353605-1176670534 -o ROOT/results/node48/solver-353605-1176670534 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353605-1176670534/instance-353605-1176670534.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 1925793f412227c60146f261684ef7c1 RANDOM SEED= 543470577 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node48.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.238 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.238 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: 1791568 kB Buffers: 42428 kB Cached: 141252 kB SwapCached: 2640 kB Active: 95596 kB Inactive: 98592 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1791568 kB SwapTotal: 4192956 kB SwapFree: 4184696 kB Dirty: 6636 kB Writeback: 0 kB Mapped: 16400 kB Slab: 56204 kB Committed_AS: 867004 kB PageTables: 1388 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= 66557 MiB End job on node48 on Sun Apr 15 21:25:37 UTC 2007