Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | -42 | 1800.28 | 1800.85 |
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.17 - 27/04/2007 : 1600 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 Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/433103-1177954516/instance-433103-1177954516.opb 0.00/0.00 c File size is 2298381 bytes. 0.29/0.38 c Highest Coefficient sum: 1272 0.29/0.38 c Parsing was ok!! 0.29/0.38 c Total parsing time: 0.384 s 0.38/0.42 c Var: 1272 Constr: 94127 94127/0/0 Lit: 188254 Watch. Lit: 188254 0.38/0.42 c Obj. Vars: 1272 (100 % of total variables) 3.09/3.20 c Pre-processing Time: 3.196 s 3.20/3.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.20/3.20 c 0 1272 94127 188254 2 188254 31375 0 0 3.20 3.20/3.20 c Switching off LPR mode. 3.20/3.21 o -37 3.212 3.20/3.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.20/3.22 c 0 1272 94128 189526 2 188293 32375 1 0 3.22 3.20/3.22 o -38 3.219 9.49/9.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.49/9.51 c 1 1272 94130 192029 2 188335 32375 3 0 3.22 9.49/9.51 c 102 1272 94231 316312 3 188537 35613 104 30 3.29 9.49/9.51 c 353 1272 94482 625281 6 189039 39175 355 101 3.48 9.49/9.51 c 828 1272 94957 1209876 12 189989 43093 830 212 3.89 9.49/9.51 c 1641 1272 95770 2210283 23 191615 47403 1643 353 4.64 9.49/9.51 c 2961 1272 97090 3834397 39 194255 52144 2963 470 6.30 9.49/9.51 c 5042 1272 99171 6394183 64 198417 57359 5044 543 9.28 9.49/9.51 o -39 9.51 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 562 9.60 11.58/11.69 c 5652 1272 99782 7145518 71 199678 39175 5655 567 9.95 11.58/11.69 c 6127 1272 100257 7729189 77 200628 43093 6130 587 10.42 11.58/11.69 c 6940 1272 101070 8728610 86 202254 47403 6943 600 11.55 11.58/11.69 o -40 11.692 326.81/326.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 326.81/326.99 c 7095 1272 101226 8920321 88 202606 32375 7099 606 11.70 326.81/326.99 c 7195 1272 101326 9043145 89 202806 35613 7199 610 11.78 326.81/326.99 c 7445 1272 101576 9350203 92 203306 39175 7449 619 12.02 326.81/326.99 c 7922 1272 102053 9936348 97 204260 43093 7926 632 12.53 326.81/326.99 c 8735 1272 102866 10934350 106 205886 47403 8739 633 13.79 326.81/326.99 c 10055 1272 104186 12555611 120 208526 52144 10059 644 15.61 326.81/326.99 c 12137 1272 106268 15113218 142 212690 57359 12141 648 18.72 326.81/326.99 c 15361 1272 109492 19074973 174 219138 63095 15365 608 25.23 326.81/326.99 c 20297 1272 114428 25138279 219 229010 69405 20301 555 36.53 326.81/326.99 c 27804 1272 121935 34359593 281 244024 76346 27808 382 72.63 326.81/326.99 c 39166 1272 133297 48313428 362 266748 83981 39170 228 171.73 326.81/326.99 c 56311 1272 150442 69375198 461 301038 92380 56315 185 303.15 326.81/326.99 o -41 326.911 379.39/379.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 379.39/379.59 c 62286 1272 156418 76716701 490 313031 32375 62291 190 326.92 379.39/379.59 o -42 379.492 1800.03/1800.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.03/1800.60 c 62286 1272 106135 14937517 140 212353 32375 12008 164 379.50 1800.03/1800.60 c 62387 1272 106236 15061225 141 212555 35613 12109 164 379.63 1800.03/1800.60 c 62637 1272 106486 15367885 144 213055 39175 12359 164 379.94 1800.03/1800.60 c 63112 1272 106961 15950319 149 214005 43093 12834 165 380.53 1800.03/1800.60 c 63925 1272 107774 16946706 157 215631 47403 13647 167 382.17 1800.03/1800.60 c 65245 1272 109094 18565036 170 218271 52144 14967 169 384.60 1800.03/1800.60 c 67327 1272 111176 21116752 189 222435 57359 17049 171 391.73 1800.03/1800.60 c 70551 1272 114400 25068359 219 228883 63095 20273 175 402.34 1800.03/1800.60 c 75489 1272 119338 31124001 260 238759 69405 25211 180 418.08 1800.03/1800.60 c 82996 1272 126845 40324897 317 253773 76346 32718 185 446.85 1800.03/1800.60 c 94357 1272 138206 54245871 392 276495 83981 44079 193 486.98 1800.03/1800.60 c 111502 1272 155351 75259384 484 310785 92380 61224 180 618.58 1800.03/1800.61 c 137322 1272 181171 106906309 590 362425 101619 87044 155 882.98 1800.03/1800.61 c 176154 1272 129482 43530975 336 259006 111781 35355 122 1440.05 1800.03/1800.61 c Caught signal: 15 1800.03/1800.61 v x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 1800.03/1800.61 v -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 1800.03/1800.61 v -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 1800.03/1800.61 v -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 1800.03/1800.61 v -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 1800.03/1800.61 v -x1187 -x1186 x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 x1171 -x1170 1800.03/1800.61 v -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 1800.03/1800.61 v -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 1800.03/1800.61 v -x1135 -x1134 -x1133 x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 1800.03/1800.61 v -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 x1102 1800.03/1800.61 v -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 1800.03/1800.61 v -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 1800.03/1800.61 v -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 1800.03/1800.61 v -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 x1036 -x1035 -x1034 1800.03/1800.61 v -x1033 -x1032 -x1031 x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 1800.03/1800.61 v -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 x1005 -x1004 -x1003 -x1002 -x1001 -x1000 1800.03/1800.61 v -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 1800.03/1800.61 v -x978 -x977 -x976 -x975 -x974 -x973 x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 1800.03/1800.61 v -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 1800.03/1800.61 v -x936 x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 1800.03/1800.61 v -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 1800.03/1800.61 v -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 1800.03/1800.61 v -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 1800.03/1800.61 v -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 1800.03/1800.61 v -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 1800.03/1800.61 v -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 1800.03/1800.61 v -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 x774 -x773 -x772 -x771 -x770 -x769 1800.03/1800.61 v -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 x750 -x749 -x748 1800.03/1800.61 v -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 1800.03/1800.61 v -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 x708 -x707 -x706 1800.03/1800.61 v -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 x687 -x686 -x685 1800.03/1800.61 v -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 x669 -x668 -x667 -x666 -x665 -x664 1800.03/1800.61 v -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 1800.03/1800.61 v -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 1800.03/1800.61 v -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 1800.03/1800.61 v -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 1800.03/1800.61 v -x579 -x578 -x577 -x576 -x575 -x574 -x573 x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 1800.03/1800.61 v -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 x542 -x541 -x540 -x539 -x538 1800.03/1800.61 v -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 1800.03/1800.61 v -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 x500 -x499 -x498 -x497 -x496 1800.03/1800.61 v -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 1800.03/1800.61 v -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 x458 -x457 -x456 -x455 -x454 1800.03/1800.61 v -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 1800.03/1800.61 v -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 x416 -x415 -x414 -x413 -x412 1800.03/1800.61 v -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 1800.03/1800.61 v -x390 -x389 -x388 x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 1800.03/1800.61 v -x369 -x368 -x367 -x366 -x365 -x364 x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 1800.03/1800.61 v -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 1800.03/1800.61 v -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 1800.03/1800.61 v -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 x292 -x291 -x290 -x289 -x288 -x287 -x286 1800.03/1800.61 v -x285 x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 1800.03/1800.61 v -x264 -x263 -x262 -x261 -x260 -x259 -x258 x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 1800.03/1800.61 v -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 x224 -x223 1800.03/1800.61 v -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 1800.03/1800.61 v -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 1800.03/1800.61 v -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 1800.03/1800.61 v -x159 -x158 -x157 -x156 -x155 -x154 x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 1800.03/1800.61 v -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 1800.03/1800.61 v -x117 -x116 -x115 -x114 -x113 -x112 x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 1800.03/1800.61 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 1800.03/1800.61 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 1800.03/1800.61 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 1800.03/1800.61 v -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 x2 -x1 1800.03/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.03/1800.61 c 40 199658 21845 229435 152986 72337202 58859 110 1800.04 1800.03/1800.61 c Objective: -42 1800.03/1800.61 s SATISFIABLE 1800.03/1800.61 c Total time: 1800.04 s
OK -42
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node45/watcher-433103-1177954516 -o ROOT/results/node45/solver-433103-1177954516 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433103-1177954516/instance-433103-1177954516.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.78 0.94 0.91 3/77 560 /proc/meminfo: memFree=1637816/2055920 swapFree=4157776/4192956 [pid=560] ppid=558 vsize=13984 CPUtime=0 /proc/560/stat : 560 (bsolo3.0.17) R 558 560 497 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 150297299 14319616 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/560/statm: 3496 333 279 324 0 2004 0 [startup+0.095845 s] /proc/loadavg: 0.78 0.94 0.91 3/77 560 /proc/meminfo: memFree=1637816/2055920 swapFree=4157776/4192956 [pid=560] ppid=558 vsize=8520 CPUtime=0.08 /proc/560/stat : 560 (bsolo3.0.17) R 558 560 497 0 -1 4194304 1071 0 0 0 8 0 0 0 18 0 1 0 150297299 8724480 1041 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/560/statm: 2130 1041 413 324 0 638 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 8520 [startup+0.101844 s] /proc/loadavg: 0.78 0.94 0.91 3/77 560 /proc/meminfo: memFree=1637816/2055920 swapFree=4157776/4192956 [pid=560] ppid=558 vsize=8656 CPUtime=0.09 /proc/560/stat : 560 (bsolo3.0.17) R 558 560 497 0 -1 4194304 1116 0 0 0 9 0 0 0 18 0 1 0 150297299 8863744 1086 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/560/statm: 2164 1087 422 324 0 672 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8656 [startup+0.301864 s] /proc/loadavg: 0.78 0.94 0.91 3/77 560 /proc/meminfo: memFree=1637816/2055920 swapFree=4157776/4192956 [pid=560] ppid=558 vsize=13336 CPUtime=0.29 /proc/560/stat : 560 (bsolo3.0.17) R 558 560 497 0 -1 4194304 2590 0 0 0 28 1 0 0 19 0 1 0 150297299 13656064 2560 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5162619 0 0 4096 16384 0 0 0 17 1 0 0 /proc/560/statm: 3334 2560 710 324 0 1842 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13336 [startup+0.701906 s] /proc/loadavg: 0.78 0.94 0.91 3/77 560 /proc/meminfo: memFree=1637816/2055920 swapFree=4157776/4192956 [pid=560] ppid=558 vsize=20804 CPUtime=0.69 /proc/560/stat : 560 (bsolo3.0.17) R 558 560 497 0 -1 4194304 5156 0 0 0 66 3 0 0 23 0 1 0 150297299 21303296 4564 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/560/statm: 5201 4564 305 324 0 4271 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 20804 [startup+1.50199 s] /proc/loadavg: 0.78 0.94 0.91 2/78 561 /proc/meminfo: memFree=1620848/2055920 swapFree=4157776/4192956 [pid=560] ppid=558 vsize=20804 CPUtime=1.49 /proc/560/stat : 560 (bsolo3.0.17) R 558 560 497 0 -1 4194304 5156 0 0 0 144 5 0 0 25 0 1 0 150297299 21303296 4564 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/560/statm: 5201 4564 305 324 0 4271 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20804 [startup+3.10115 s] /proc/loadavg: 0.78 0.94 0.91 2/78 561 /proc/meminfo: memFree=1620720/2055920 swapFree=4157776/4192956 [pid=560] ppid=558 vsize=20804 CPUtime=3.09 /proc/560/stat : 560 (bsolo3.0.17) R 558 560 497 0 -1 4194304 5156 0 0 0 301 8 0 0 25 0 1 0 150297299 21303296 4564 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/560/statm: 5201 4564 305 324 0 4271 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 20804 [startup+6.30147 s] /proc/loadavg: 0.80 0.94 0.91 2/78 561 /proc/meminfo: memFree=1585904/2055920 swapFree=4157776/4192956 [pid=560] ppid=558 vsize=64428 CPUtime=6.28 /proc/560/stat : 560 (bsolo3.0.17) R 558 560 497 0 -1 4194304 17492 0 0 0 614 14 0 0 25 0 1 0 150297299 65974272 15481 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586540 0 0 4096 16384 0 0 0 17 1 0 0 /proc/560/statm: 16107 15481 310 324 0 15177 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 64428 [startup+12.7011 s] /proc/loadavg: 0.81 0.94 0.91 2/78 561 /proc/meminfo: memFree=1506608/2055920 swapFree=4157776/4192956 [pid=560] ppid=558 vsize=143176 CPUtime=12.69 /proc/560/stat : 560 (bsolo3.0.17) R 558 560 497 0 -1 4194304 37191 0 0 0 1247 22 0 0 25 0 1 0 150297299 146612224 35180 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/560/statm: 35794 35180 310 324 0 34864 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 143176 [startup+25.5014 s] /proc/loadavg: 0.85 0.94 0.91 2/78 561 /proc/meminfo: memFree=1381936/2055920 swapFree=4157776/4192956 [pid=560] ppid=558 vsize=262968 CPUtime=25.48 /proc/560/stat : 560 (bsolo3.0.17) R 558 560 497 0 -1 4194304 67123 0 0 0 2514 34 0 0 25 0 1 0 150297299 269279232 65112 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571486 0 0 4096 16384 0 0 0 17 1 0 0 /proc/560/statm: 65742 65112 310 324 0 64812 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 262968 [startup+51.101 s] /proc/loadavg: 0.90 0.94 0.91 2/78 561 /proc/meminfo: memFree=1234416/2055920 swapFree=4157776/4192956 [pid=560] ppid=558 vsize=407888 CPUtime=51.08 /proc/560/stat : 560 (bsolo3.0.17) R 558 560 497 0 -1 4194304 103346 0 0 0 5058 50 0 0 25 0 1 0 150297299 417677312 101335 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/560/statm: 101972 101335 310 324 0 101042 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 407888 [startup+102.305 s] /proc/loadavg: 0.96 0.95 0.91 2/78 561 /proc/meminfo: memFree=1111664/2055920 swapFree=4157776/4192956 [pid=560] ppid=558 vsize=529156 CPUtime=102.26 /proc/560/stat : 560 (bsolo3.0.17) R 558 560 497 0 -1 4194304 133691 0 0 0 10163 63 0 0 25 0 1 0 150297299 541855744 131680 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/560/statm: 132289 131680 310 324 0 131359 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 529156 [startup+162.301 s] /proc/loadavg: 0.98 0.96 0.91 2/78 561 /proc/meminfo: memFree=1023024/2055920 swapFree=4157776/4192956 [pid=560] ppid=558 vsize=618876 CPUtime=162.25 /proc/560/stat : 560 (bsolo3.0.17) R 558 560 497 0 -1 4194304 156104 0 0 0 16151 74 0 0 25 0 1 0 150297299 633729024 154093 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/560/statm: 154719 154093 310 324 0 153789 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 618876 [startup+222.301 s] /proc/loadavg: 0.99 0.96 0.91 2/78 561 /proc/meminfo: memFree=857072/2055920 swapFree=4157776/4192956 [pid=560] ppid=558 vsize=784284 CPUtime=222.23 /proc/560/stat : 560 (bsolo3.0.17) R 558 560 497 0 -1 4194304 197460 0 0 0 22130 93 0 0 25 0 1 0 150297299 803106816 195449 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134547416 0 0 4096 16384 0 0 0 17 1 0 0 /proc/560/statm: 196071 195449 310 324 0 195141 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 784284 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 561 /proc/meminfo: memFree=766256/2055920 swapFree=4157776/4192956 [pid=560] ppid=558 vsize=874788 CPUtime=282.22 /proc/560/stat : 560 (bsolo3.0.17) R 558 560 497 0 -1 4194304 220090 0 0 0 28118 104 0 0 25 0 1 0 150297299 895782912 218079 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/560/statm: 218697 218079 310 324 0 217767 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.91 2/78 561 /proc/meminfo: memFree=642992/2055920 swapFree=4157776/4192956 [pid=560] ppid=558 vsize=996580 CPUtime=342.2 /proc/560/stat : 560 (bsolo3.0.17) R 558 560 497 0 -1 4194304 250595 0 0 0 34102 118 0 0 25 0 1 0 150297299 1020497920 248523 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/560/statm: 249145 248523 310 324 0 248215 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 996580 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 561 /proc/meminfo: memFree=643120/2055920 swapFree=4157776/4192956 [pid=560] ppid=558 vsize=996580 CPUtime=402.19 /proc/560/stat : 560 (bsolo3.0.17) R 558 560 497 0 -1 4194304 250595 0 0 0 40100 119 0 0 25 0 1 0 150297299 1020497920 248523 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/560/statm: 249145 248523 310 324 0 248215 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 996580 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 561 /proc/meminfo: memFree=643120/2055920 swapFree=4157776/4192956 [pid=560] ppid=558 vsize=996580 CPUtime=462.17 /proc/560/stat : 560 (bsolo3.0.17) R 558 560 497 0 -1 4194304 250595 0 0 0 46098 119 0 0 25 0 1 0 150297299 1020497920 248523 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5160660 0 0 4096 16384 0 0 0 17 1 0 0 /proc/560/statm: 249145 248523 310 324 0 248215 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 996580 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 561 /proc/meminfo: memFree=643120/2055920 swapFree=4157776/4192956 [pid=560] ppid=558 vsize=996580 CPUtime=522.16 /proc/560/stat : 560 (bsolo3.0.17) R 558 560 497 0 -1 4194304 250595 0 0 0 52096 120 0 0 25 0 1 0 150297299 1020497920 248523 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/560/statm: 249145 248523 310 324 0 248215 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 996580 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 561 /proc/meminfo: memFree=643184/2055920 swapFree=4157776/4192956 [pid=560] ppid=558 vsize=996580 CPUtime=582.14 /proc/560/stat : 560 (bsolo3.0.17) R 558 560 497 0 -1 4194304 250595 0 0 0 58094 120 0 0 25 0 1 0 150297299 1020497920 248523 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0 /proc/560/statm: 249145 248523 310 324 0 248215 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 996580 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 561 /proc/meminfo: memFree=547568/2055920 swapFree=4157776/4192956 [pid=560] ppid=558 vsize=1091996 CPUtime=642.13 /proc/560/stat : 560 (bsolo3.0.17) R 558 560 497 0 -1 4194304 274450 0 0 0 64081 132 0 0 25 0 1 0 150297299 1118203904 272378 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586540 0 0 4096 16384 0 0 0 17 1 0 0 /proc/560/statm: 272999 272378 310 324 0 272069 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 1091996 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 561 /proc/meminfo: memFree=257904/2055920 swapFree=4157776/4192956 [pid=560] ppid=558 vsize=1381308 CPUtime=882.07 /proc/560/stat : 560 (bsolo3.0.17) R 558 560 497 0 -1 4194304 346781 0 0 0 88035 172 0 0 25 0 1 0 150297299 1414459392 344709 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/560/statm: 345327 344709 310 324 0 344397 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 1381308 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 561 /proc/meminfo: memFree=67632/2055920 swapFree=4157776/4192956 [pid=560] ppid=558 vsize=1571952 CPUtime=942.05 /proc/560/stat : 560 (bsolo3.0.17) R 558 560 497 0 -1 4194304 394426 0 0 0 94010 195 0 0 25 0 1 0 150297299 1609678848 392354 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0 /proc/560/statm: 392988 392354 310 324 0 392058 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 1571952 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 561 /proc/meminfo: memFree=15088/2055920 swapFree=4157776/4192956 [pid=560] ppid=558 vsize=1630788 CPUtime=1002.04 /proc/560/stat : 560 (bsolo3.0.17) R 558 560 497 0 -1 4194304 409252 0 0 0 100000 204 0 0 25 0 1 0 150297299 1669926912 407079 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/560/statm: 407697 407079 310 324 0 406767 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 1630788 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 561 /proc/meminfo: memFree=15152/2055920 swapFree=4157776/4192956 [pid=560] ppid=558 vsize=1630788 CPUtime=1062.02 /proc/560/stat : 560 (bsolo3.0.17) R 558 560 497 0 -1 4194304 409252 0 0 0 105998 204 0 0 25 0 1 0 150297299 1669926912 407079 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/560/statm: 407697 407079 310 324 0 406767 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 1630788 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 561 /proc/meminfo: memFree=15216/2055920 swapFree=4157776/4192956 [pid=560] ppid=558 vsize=1630788 CPUtime=1122.01 /proc/560/stat : 560 (bsolo3.0.17) R 558 560 497 0 -1 4194304 409252 0 0 0 111996 205 0 0 25 0 1 0 150297299 1669926912 407079 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/560/statm: 407697 407079 310 324 0 406767 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 1630788 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 561 /proc/meminfo: memFree=15216/2055920 swapFree=4157776/4192956 [pid=560] ppid=558 vsize=1630788 CPUtime=1181.99 /proc/560/stat : 560 (bsolo3.0.17) R 558 560 497 0 -1 4194304 409252 0 0 0 117994 205 0 0 25 0 1 0 150297299 1669926912 407079 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/560/statm: 407697 407079 310 324 0 406767 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 1630788 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 561 /proc/meminfo: memFree=15280/2055920 swapFree=4157776/4192956 [pid=560] ppid=558 vsize=1630788 CPUtime=1241.98 /proc/560/stat : 560 (bsolo3.0.17) R 558 560 497 0 -1 4194304 409252 0 0 0 123992 206 0 0 25 0 1 0 150297299 1669926912 407079 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/560/statm: 407697 407079 310 324 0 406767 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 1630788 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 561 /proc/meminfo: memFree=15280/2055920 swapFree=4157776/4192956 [pid=560] ppid=558 vsize=1630788 CPUtime=1301.96 /proc/560/stat : 560 (bsolo3.0.17) R 558 560 497 0 -1 4194304 409252 0 0 0 129990 206 0 0 25 0 1 0 150297299 1669926912 407079 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/560/statm: 407697 407079 310 324 0 406767 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 1630788 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 561 /proc/meminfo: memFree=15216/2055920 swapFree=4157776/4192956 [pid=560] ppid=558 vsize=1630788 CPUtime=1361.94 /proc/560/stat : 560 (bsolo3.0.17) R 558 560 497 0 -1 4194304 409252 0 0 0 135987 207 0 0 25 0 1 0 150297299 1669926912 407079 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573222 0 0 4096 16384 0 0 0 17 1 0 0 /proc/560/statm: 407697 407079 310 324 0 406767 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 1630788 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.91 2/78 561 /proc/meminfo: memFree=15216/2055920 swapFree=4157776/4192956 [pid=560] ppid=558 vsize=1630788 CPUtime=1421.93 /proc/560/stat : 560 (bsolo3.0.17) R 558 560 497 0 -1 4194304 409252 0 0 0 141986 207 0 0 25 0 1 0 150297299 1669926912 407079 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/560/statm: 407697 407079 310 324 0 406767 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 1630788 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 561 /proc/meminfo: memFree=15152/2055920 swapFree=4157776/4192956 [pid=560] ppid=558 vsize=1630788 CPUtime=1481.91 /proc/560/stat : 560 (bsolo3.0.17) R 558 560 497 0 -1 4194304 409252 0 0 0 147983 208 0 0 25 0 1 0 150297299 1669926912 407079 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/560/statm: 407697 407079 310 324 0 406767 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 1630788 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 561 /proc/meminfo: memFree=15280/2055920 swapFree=4157776/4192956 [pid=560] ppid=558 vsize=1630788 CPUtime=1541.9 /proc/560/stat : 560 (bsolo3.0.17) R 558 560 497 0 -1 4194304 409252 0 0 0 153981 209 0 0 25 0 1 0 150297299 1669926912 407079 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/560/statm: 407697 407079 310 324 0 406767 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 1630788 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 759 /proc/meminfo: memFree=16816/2055920 swapFree=4157776/4192956 [pid=560] ppid=558 vsize=1630788 CPUtime=1601.78 /proc/560/stat : 560 (bsolo3.0.17) R 558 560 497 0 -1 4194304 409252 0 0 0 159967 211 0 0 25 0 1 0 150297299 1669926912 407079 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551189 0 0 4096 16384 0 0 0 17 1 0 0 /proc/560/statm: 407697 407079 310 324 0 406767 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 1630788 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 759 /proc/meminfo: memFree=17008/2055920 swapFree=4157776/4192956 [pid=560] ppid=558 vsize=1630788 CPUtime=1661.76 /proc/560/stat : 560 (bsolo3.0.17) R 558 560 497 0 -1 4194304 409252 0 0 0 165965 211 0 0 25 0 1 0 150297299 1669926912 407079 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0 /proc/560/statm: 407697 407079 310 324 0 406767 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 1630788 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 759 /proc/meminfo: memFree=17008/2055920 swapFree=4157776/4192956 [pid=560] ppid=558 vsize=1630788 CPUtime=1721.75 /proc/560/stat : 560 (bsolo3.0.17) R 558 560 497 0 -1 4194304 409252 0 0 0 171963 212 0 0 25 0 1 0 150297299 1669926912 407079 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/560/statm: 407697 407079 310 324 0 406767 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 1630788 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 759 /proc/meminfo: memFree=17072/2055920 swapFree=4157776/4192956 [pid=560] ppid=558 vsize=1630788 CPUtime=1781.73 /proc/560/stat : 560 (bsolo3.0.17) R 558 560 497 0 -1 4194304 409252 0 0 0 177961 212 0 0 25 0 1 0 150297299 1669926912 407079 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/560/statm: 407697 407079 310 324 0 406767 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 1630788 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.91 2/78 759 /proc/meminfo: memFree=17072/2055920 swapFree=4157776/4192956 [pid=560] ppid=558 vsize=1630788 CPUtime=1800.03 /proc/560/stat : 560 (bsolo3.0.17) R 558 560 497 0 -1 4194304 409252 0 0 0 179791 212 0 0 25 0 1 0 150297299 1669926912 407079 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/560/statm: 407697 407079 310 324 0 406767 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1630788 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: 0.99 0.97 0.91 2/78 759 /proc/meminfo: memFree=17072/2055920 swapFree=4157776/4192956 [pid=560] ppid=558 vsize=0 CPUtime=1800.23 /proc/560/stat : 560 (bsolo3.0.17) R 558 560 497 0 -1 4194308 409256 0 0 0 179791 232 0 0 25 0 1 0 150297299 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 0 0 0 /proc/560/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.23 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.85 CPU time (s): 1800.28 CPU user time (s): 1797.92 CPU system time (s): 2.36464 CPU usage (%): 99.9685 Max. virtual memory (cumulated for all children) (KiB): 1631192 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.92 system time used= 2.36464 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 409256 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= 12 involuntary context switches= 37194 runsolver used 1.44678 second user time and 3.85841 second system time The end
Begin job on node45 on Mon Apr 30 17:35:17 UTC 2007 IDJOB= 433103 IDBENCH= 2255 IDSOLVER= 199 FILE ID= node45/433103-1177954516 PBS_JOBID= 4727693 Free space on /tmp= 66556 MiB SOLVER NAME= bsolo 3.0.17 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.17 -m1800 /tmp/evaluation/433103-1177954516/instance-433103-1177954516.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node45/watcher-433103-1177954516 -o ROOT/results/node45/solver-433103-1177954516 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433103-1177954516/instance-433103-1177954516.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 1925793f412227c60146f261684ef7c1 RANDOM SEED= 268368549 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node45.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.218 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.218 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1638416 kB Buffers: 41928 kB Cached: 281172 kB SwapCached: 14656 kB Active: 237468 kB Inactive: 108568 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1638416 kB SwapTotal: 4192956 kB SwapFree: 4157776 kB Dirty: 9068 kB Writeback: 0 kB Mapped: 29812 kB Slab: 57060 kB Committed_AS: 1447880 kB PageTables: 1732 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= 66556 MiB End job on node45 on Mon Apr 30 18:05:20 UTC 2007