Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | -41 | 1800.32 | 1800.87 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-2.opb |
MD5SUM | b94d4317cfb468b1c3dd3d790ff99d4d |
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.1 |
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 | 94289 |
Number of constraints which are clauses | 94289 |
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/433105-1177954532/instance-433105-1177954532.opb 0.00/0.00 c File size is 2299186 bytes. 0.29/0.39 c Highest Coefficient sum: 1272 0.29/0.39 c Parsing was ok!! 0.29/0.39 c Total parsing time: 0.386 s 0.39/0.42 c Var: 1272 Constr: 94289 94289/0/0 Lit: 188578 Watch. Lit: 188578 0.39/0.42 c Obj. Vars: 1272 (100 % of total variables) 3.20/3.23 c Pre-processing Time: 3.225 s 3.20/3.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.20/3.23 c 0 1272 94289 188578 2 188578 31429 0 0 3.23 3.20/3.23 c Switching off LPR mode. 3.20/3.24 o -38 3.241 3.20/3.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.20/3.29 c 0 1272 94290 189850 2 188618 32429 1 0 3.25 3.20/3.29 o -39 3.285 18.38/18.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 18.38/18.48 c 65 1272 94356 271126 2 188789 32429 67 19 3.29 18.38/18.48 c 165 1272 94456 394120 4 188989 35672 167 49 3.35 18.38/18.48 c 416 1272 94707 702730 7 189491 39240 418 117 3.54 18.38/18.48 c 891 1272 95182 1286756 13 190441 43165 893 223 3.98 18.38/18.48 c 1706 1272 95997 2288964 23 192071 47482 1708 350 4.86 18.38/18.48 c 3026 1272 97317 3912015 40 194711 52231 3028 422 7.16 18.38/18.48 c 5107 1272 99398 6469763 65 198873 57455 5109 451 11.31 18.38/18.48 c 8330 1272 102621 10430806 101 205319 63201 8332 454 18.34 18.38/18.48 o -40 18.474 53.07/53.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 53.07/53.17 c 8465 1272 102757 10598160 103 205631 32429 8468 458 18.48 53.07/53.17 c 8565 1272 102857 10721015 104 205831 35672 8568 460 18.59 53.07/53.17 c 8816 1272 103108 11029304 106 206333 39240 8819 459 19.20 53.07/53.17 c 9294 1272 103586 11616517 112 207289 43165 9297 472 19.69 53.07/53.17 c 10108 1272 104400 12616259 120 208917 47482 10111 487 20.73 53.07/53.17 c 11428 1272 105720 14237269 134 211557 52231 11431 461 24.79 53.07/53.17 c 13509 1272 107801 16793597 155 215719 57455 13512 463 29.14 53.07/53.17 c 16733 1272 111025 20752585 186 222167 63201 16736 473 35.37 53.07/53.17 c 21671 1272 115963 26813756 231 232043 69522 21674 447 48.41 53.07/53.17 o -41 53.156 1800.05/1800.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.05/1800.61 c 23609 1272 117902 29195816 247 235962 32429 23613 444 53.16 1800.05/1800.61 c 23711 1272 118004 29321034 248 236166 35672 23715 445 53.28 1800.05/1800.61 c 23962 1272 118255 29629004 250 236668 39240 23966 447 53.59 1800.05/1800.61 c 24437 1272 118730 30212073 254 237618 43165 24441 450 54.24 1800.05/1800.61 c 25251 1272 119544 31210741 261 239246 47482 25255 456 55.27 1800.05/1800.61 c 26571 1272 120864 32830439 271 241886 52231 26575 462 57.41 1800.05/1800.61 c 28653 1272 122946 35384955 287 246050 57455 28657 466 61.36 1800.05/1800.61 c 31876 1272 126169 39338594 311 252496 63201 31880 461 69.03 1800.05/1800.61 c 36812 1272 131105 45393332 346 262368 69522 36816 425 86.58 1800.05/1800.61 c 44319 1272 138612 54604377 393 277382 76475 44323 329 134.32 1800.05/1800.61 c 55680 1272 149973 68544900 457 300104 84123 55684 264 210.36 1800.05/1800.61 c 72825 1272 167118 89581907 536 334394 92536 72829 175 415.71 1800.05/1800.61 c 98646 1272 111568 21383322 191 223177 101790 17279 114 861.47 1800.05/1800.61 c 137478 1272 150400 69034603 459 300841 111970 56111 114 1196.24 1800.05/1800.61 c Caught signal: 15 1800.05/1800.61 v -x1272 x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 1800.05/1800.61 v -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 1800.05/1800.61 v -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 1800.05/1800.61 v -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 1800.05/1800.61 v -x1204 -x1203 -x1202 -x1201 x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 1800.05/1800.61 v -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 1800.05/1800.61 v -x1170 -x1169 -x1168 x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 1800.05/1800.61 v -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 x1140 -x1139 -x1138 -x1137 1800.05/1800.61 v -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 1800.05/1800.61 v -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 1800.05/1800.61 v -x1102 -x1101 -x1100 x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 1800.05/1800.61 v -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 1800.05/1800.61 v -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 1800.05/1800.61 v -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 x1040 -x1039 -x1038 -x1037 -x1036 -x1035 1800.05/1800.61 v -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 1800.05/1800.61 v x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 x1002 -x1001 -x1000 1800.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/1800.61 v -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 1800.05/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.05/1800.61 c 32 186637 19670 212212 199559 129371009 105270 103 1800.06 1800.05/1800.61 c Objective: -41 1800.05/1800.61 s SATISFIABLE 1800.05/1800.61 c Total time: 1800.06 s
OK -41
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node57/watcher-433105-1177954532 -o ROOT/results/node57/solver-433105-1177954532 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433105-1177954532/instance-433105-1177954532.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.91 0.95 0.91 3/64 5221 /proc/meminfo: memFree=1831576/2055920 swapFree=4183136/4192956 [pid=5221] ppid=5219 vsize=13984 CPUtime=0 /proc/5221/stat : 5221 (bsolo3.0.17) R 5219 5221 4070 0 -1 4194304 361 0 0 0 0 0 0 0 18 0 1 0 236589193 14319616 331 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5221/statm: 3496 332 279 324 0 2004 0 [startup+0.077553 s] /proc/loadavg: 0.91 0.95 0.91 3/64 5221 /proc/meminfo: memFree=1831576/2055920 swapFree=4183136/4192956 [pid=5221] ppid=5219 vsize=7972 CPUtime=0.07 /proc/5221/stat : 5221 (bsolo3.0.17) R 5219 5221 4070 0 -1 4194304 926 0 0 0 7 0 0 0 18 0 1 0 236589193 8163328 896 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7829115 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5221/statm: 1993 896 384 324 0 501 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 7972 [startup+0.101554 s] /proc/loadavg: 0.91 0.95 0.91 3/64 5221 /proc/meminfo: memFree=1831576/2055920 swapFree=4183136/4192956 [pid=5221] ppid=5219 vsize=8656 CPUtime=0.09 /proc/5221/stat : 5221 (bsolo3.0.17) R 5219 5221 4070 0 -1 4194304 1108 0 0 0 9 0 0 0 18 0 1 0 236589193 8863744 1078 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7829115 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5221/statm: 2164 1078 420 324 0 672 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8656 [startup+0.301572 s] /proc/loadavg: 0.91 0.95 0.91 3/64 5221 /proc/meminfo: memFree=1831576/2055920 swapFree=4183136/4192956 [pid=5221] ppid=5219 vsize=13332 CPUtime=0.29 /proc/5221/stat : 5221 (bsolo3.0.17) R 5219 5221 4070 0 -1 4194304 2584 0 0 0 29 0 0 0 19 0 1 0 236589193 13651968 2554 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7829115 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5221/statm: 3333 2554 708 324 0 1841 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13332 [startup+0.701606 s] /proc/loadavg: 0.91 0.95 0.91 3/64 5221 /proc/meminfo: memFree=1831576/2055920 swapFree=4183136/4192956 [pid=5221] ppid=5219 vsize=20812 CPUtime=0.69 /proc/5221/stat : 5221 (bsolo3.0.17) R 5219 5221 4070 0 -1 4194304 5164 0 0 0 68 1 0 0 22 0 1 0 236589193 21311488 4572 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5221/statm: 5203 4572 305 324 0 4273 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 20812 [startup+1.50168 s] /proc/loadavg: 0.91 0.95 0.91 2/65 5222 /proc/meminfo: memFree=1814480/2055920 swapFree=4183136/4192956 [pid=5221] ppid=5219 vsize=20812 CPUtime=1.49 /proc/5221/stat : 5221 (bsolo3.0.17) R 5219 5221 4070 0 -1 4194304 5164 0 0 0 146 3 0 0 25 0 1 0 236589193 21311488 4572 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5221/statm: 5203 4572 305 324 0 4273 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20812 [startup+3.10181 s] /proc/loadavg: 0.91 0.95 0.91 2/65 5222 /proc/meminfo: memFree=1814352/2055920 swapFree=4183136/4192956 [pid=5221] ppid=5219 vsize=20812 CPUtime=3.09 /proc/5221/stat : 5221 (bsolo3.0.17) R 5219 5221 4070 0 -1 4194304 5164 0 0 0 304 5 0 0 25 0 1 0 236589193 21311488 4572 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5221/statm: 5203 4572 305 324 0 4273 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 20812 [startup+6.3011 s] /proc/loadavg: 0.92 0.95 0.91 2/65 5222 /proc/meminfo: memFree=1782032/2055920 swapFree=4183136/4192956 [pid=5221] ppid=5219 vsize=60528 CPUtime=6.29 /proc/5221/stat : 5221 (bsolo3.0.17) R 5219 5221 4070 0 -1 4194304 16528 0 0 0 619 10 0 0 25 0 1 0 236589193 61980672 14515 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551104 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5221/statm: 15132 14515 310 324 0 14202 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 60528 [startup+12.7027 s] /proc/loadavg: 0.93 0.95 0.91 2/65 5222 /proc/meminfo: memFree=1729232/2055920 swapFree=4183136/4192956 [pid=5221] ppid=5219 vsize=112724 CPUtime=12.69 /proc/5221/stat : 5221 (bsolo3.0.17) R 5219 5221 4070 0 -1 4194304 29564 0 0 0 1254 15 0 0 25 0 1 0 236589193 115429376 27551 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5221/statm: 28181 27551 310 324 0 27251 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 112724 [startup+25.5018 s] /proc/loadavg: 0.94 0.96 0.91 2/65 5222 /proc/meminfo: memFree=1631760/2055920 swapFree=4183136/4192956 [pid=5221] ppid=5219 vsize=205992 CPUtime=25.49 /proc/5221/stat : 5221 (bsolo3.0.17) R 5219 5221 4070 0 -1 4194304 52874 0 0 0 2525 24 0 0 25 0 1 0 236589193 210935808 50861 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5221/statm: 51498 50861 310 324 0 50568 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 205992 [startup+51.102 s] /proc/loadavg: 0.96 0.96 0.91 2/65 5222 /proc/meminfo: memFree=1459664/2055920 swapFree=4183136/4192956 [pid=5221] ppid=5219 vsize=377480 CPUtime=51.08 /proc/5221/stat : 5221 (bsolo3.0.17) R 5219 5221 4070 0 -1 4194304 95773 0 0 0 5066 42 0 0 25 0 1 0 236589193 386539520 93760 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5221/statm: 94370 93760 310 324 0 93440 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 377480 [startup+102.305 s] /proc/loadavg: 0.98 0.96 0.91 2/65 5222 /proc/meminfo: memFree=1186640/2055920 swapFree=4183136/4192956 [pid=5221] ppid=5219 vsize=647492 CPUtime=102.27 /proc/5221/stat : 5221 (bsolo3.0.17) R 5219 5221 4070 0 -1 4194304 163261 0 0 0 10157 70 0 0 25 0 1 0 236589193 663031808 161248 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5221/statm: 161873 161248 310 324 0 160943 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 647492 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 5222 /proc/meminfo: memFree=1032848/2055920 swapFree=4183136/4192956 [pid=5221] ppid=5219 vsize=801800 CPUtime=162.26 /proc/5221/stat : 5221 (bsolo3.0.17) R 5219 5221 4070 0 -1 4194304 201853 0 0 0 16136 90 0 0 25 0 1 0 236589193 821043200 199840 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5221/statm: 200450 199840 310 324 0 199520 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 801800 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 5222 /proc/meminfo: memFree=888720/2055920 swapFree=4183136/4192956 [pid=5221] ppid=5219 vsize=945020 CPUtime=222.23 /proc/5221/stat : 5221 (bsolo3.0.17) R 5219 5221 4070 0 -1 4194304 237638 0 0 0 22116 107 0 0 25 0 1 0 236589193 967700480 235625 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5221/statm: 236255 235625 310 324 0 235325 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 945020 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 5222 /proc/meminfo: memFree=785744/2055920 swapFree=4183136/4192956 [pid=5221] ppid=5219 vsize=1049116 CPUtime=282.22 /proc/5221/stat : 5221 (bsolo3.0.17) R 5219 5221 4070 0 -1 4194304 263666 0 0 0 28102 120 0 0 25 0 1 0 236589193 1074294784 261653 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5221/statm: 262279 261653 310 324 0 261349 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 1049116 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 5222 /proc/meminfo: memFree=725840/2055920 swapFree=4183136/4192956 [pid=5221] ppid=5219 vsize=1107356 CPUtime=342.21 /proc/5221/stat : 5221 (bsolo3.0.17) R 5219 5221 4070 0 -1 4194304 278230 0 0 0 34094 127 0 0 25 0 1 0 236589193 1133932544 276217 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5221/statm: 276839 276217 310 324 0 275909 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 1107356 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 5222 /proc/meminfo: memFree=686160/2055920 swapFree=4183136/4192956 [pid=5221] ppid=5219 vsize=1148020 CPUtime=402.19 /proc/5221/stat : 5221 (bsolo3.0.17) R 5219 5221 4070 0 -1 4194304 288385 0 0 0 40087 132 0 0 25 0 1 0 236589193 1175572480 286372 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5221/statm: 287005 286372 310 324 0 286075 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 1148020 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 5222 /proc/meminfo: memFree=510480/2055920 swapFree=4183136/4192956 [pid=5221] ppid=5219 vsize=1323144 CPUtime=462.18 /proc/5221/stat : 5221 (bsolo3.0.17) R 5219 5221 4070 0 -1 4194304 332173 0 0 0 46065 153 0 0 25 0 1 0 236589193 1354899456 330160 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5221/statm: 330786 330160 310 324 0 329856 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 1323144 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 5222 /proc/meminfo: memFree=419920/2055920 swapFree=4183136/4192956 [pid=5221] ppid=5219 vsize=1414140 CPUtime=522.16 /proc/5221/stat : 5221 (bsolo3.0.17) R 5219 5221 4070 0 -1 4194304 354909 0 0 0 52050 166 0 0 25 0 1 0 236589193 1448079360 352896 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5221/statm: 353535 352896 310 324 0 352605 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 1414140 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 5222 /proc/meminfo: memFree=346832/2055920 swapFree=4183136/4192956 [pid=5221] ppid=5219 vsize=1485672 CPUtime=582.15 /proc/5221/stat : 5221 (bsolo3.0.17) R 5219 5221 4070 0 -1 4194304 372821 0 0 0 58040 175 0 0 25 0 1 0 236589193 1521328128 370808 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5221/statm: 371418 370808 310 324 0 370488 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 1485672 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 5222 /proc/meminfo: memFree=342160/2055920 swapFree=4183136/4192956 [pid=5221] ppid=5219 vsize=1489940 CPUtime=642.14 /proc/5221/stat : 5221 (bsolo3.0.17) R 5219 5221 4070 0 -1 4194304 373957 0 0 0 64038 176 0 0 25 0 1 0 236589193 1525698560 371852 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5221/statm: 372485 371852 310 324 0 371555 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 1489940 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 5222 /proc/meminfo: memFree=342160/2055920 swapFree=4183136/4192956 [pid=5221] ppid=5219 vsize=1489940 CPUtime=882.08 /proc/5221/stat : 5221 (bsolo3.0.17) R 5219 5221 4070 0 -1 4194304 373957 0 0 0 88032 176 0 0 25 0 1 0 236589193 1525698560 371852 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5221/statm: 372485 371852 310 324 0 371555 0 Current children cumulated CPU time (s) 882.08 Current children cumulated vsize (KiB) 1489940 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 5222 /proc/meminfo: memFree=342160/2055920 swapFree=4183136/4192956 [pid=5221] ppid=5219 vsize=1489940 CPUtime=942.06 /proc/5221/stat : 5221 (bsolo3.0.17) R 5219 5221 4070 0 -1 4194304 373957 0 0 0 94030 176 0 0 25 0 1 0 236589193 1525698560 371852 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5221/statm: 372485 371852 310 324 0 371555 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 1489940 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 5222 /proc/meminfo: memFree=342160/2055920 swapFree=4183136/4192956 [pid=5221] ppid=5219 vsize=1489940 CPUtime=1002.06 /proc/5221/stat : 5221 (bsolo3.0.17) R 5219 5221 4070 0 -1 4194304 373957 0 0 0 100029 177 0 0 25 0 1 0 236589193 1525698560 371852 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5221/statm: 372485 371852 310 324 0 371555 0 Current children cumulated CPU time (s) 1002.06 Current children cumulated vsize (KiB) 1489940 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 5222 /proc/meminfo: memFree=342160/2055920 swapFree=4183136/4192956 [pid=5221] ppid=5219 vsize=1489940 CPUtime=1062.04 /proc/5221/stat : 5221 (bsolo3.0.17) R 5219 5221 4070 0 -1 4194304 373957 0 0 0 106027 177 0 0 25 0 1 0 236589193 1525698560 371852 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5221/statm: 372485 371852 310 324 0 371555 0 Current children cumulated CPU time (s) 1062.04 Current children cumulated vsize (KiB) 1489940 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 5222 /proc/meminfo: memFree=342160/2055920 swapFree=4183136/4192956 [pid=5221] ppid=5219 vsize=1489940 CPUtime=1122.03 /proc/5221/stat : 5221 (bsolo3.0.17) R 5219 5221 4070 0 -1 4194304 373957 0 0 0 112026 177 0 0 25 0 1 0 236589193 1525698560 371852 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571533 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5221/statm: 372485 371852 310 324 0 371555 0 Current children cumulated CPU time (s) 1122.03 Current children cumulated vsize (KiB) 1489940 [startup+1182.3 s] /proc/loadavg: 1.05 0.99 0.91 2/65 5222 /proc/meminfo: memFree=342160/2055920 swapFree=4183136/4192956 [pid=5221] ppid=5219 vsize=1489940 CPUtime=1182.01 /proc/5221/stat : 5221 (bsolo3.0.17) R 5219 5221 4070 0 -1 4194304 373957 0 0 0 118024 177 0 0 25 0 1 0 236589193 1525698560 371852 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5221/statm: 372485 371852 310 324 0 371555 0 Current children cumulated CPU time (s) 1182.01 Current children cumulated vsize (KiB) 1489940 [startup+1242.3 s] /proc/loadavg: 1.07 1.00 0.92 2/65 5222 /proc/meminfo: memFree=342096/2055920 swapFree=4183136/4192956 [pid=5221] ppid=5219 vsize=1489940 CPUtime=1242 /proc/5221/stat : 5221 (bsolo3.0.17) R 5219 5221 4070 0 -1 4194304 373957 0 0 0 124023 177 0 0 25 0 1 0 236589193 1525698560 371852 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5221/statm: 372485 371852 310 324 0 371555 0 Current children cumulated CPU time (s) 1242 Current children cumulated vsize (KiB) 1489940 [startup+1302.3 s] /proc/loadavg: 1.02 1.00 0.92 2/65 5222 /proc/meminfo: memFree=342096/2055920 swapFree=4183136/4192956 [pid=5221] ppid=5219 vsize=1489940 CPUtime=1301.99 /proc/5221/stat : 5221 (bsolo3.0.17) R 5219 5221 4070 0 -1 4194304 373957 0 0 0 130022 177 0 0 25 0 1 0 236589193 1525698560 371852 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550904 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5221/statm: 372485 371852 310 324 0 371555 0 Current children cumulated CPU time (s) 1301.99 Current children cumulated vsize (KiB) 1489940 [startup+1362.3 s] /proc/loadavg: 1.01 1.00 0.92 2/65 5222 /proc/meminfo: memFree=342096/2055920 swapFree=4183136/4192956 [pid=5221] ppid=5219 vsize=1489940 CPUtime=1361.97 /proc/5221/stat : 5221 (bsolo3.0.17) R 5219 5221 4070 0 -1 4194304 373957 0 0 0 136020 177 0 0 25 0 1 0 236589193 1525698560 371852 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5221/statm: 372485 371852 310 324 0 371555 0 Current children cumulated CPU time (s) 1361.97 Current children cumulated vsize (KiB) 1489940 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.92 2/65 5222 /proc/meminfo: memFree=342096/2055920 swapFree=4183136/4192956 [pid=5221] ppid=5219 vsize=1489940 CPUtime=1421.95 /proc/5221/stat : 5221 (bsolo3.0.17) R 5219 5221 4070 0 -1 4194304 373957 0 0 0 142018 177 0 0 25 0 1 0 236589193 1525698560 371852 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5221/statm: 372485 371852 310 324 0 371555 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 1489940 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.92 2/65 5222 /proc/meminfo: memFree=342032/2055920 swapFree=4183136/4192956 [pid=5221] ppid=5219 vsize=1489940 CPUtime=1481.93 /proc/5221/stat : 5221 (bsolo3.0.17) R 5219 5221 4070 0 -1 4194304 373957 0 0 0 148016 177 0 0 25 0 1 0 236589193 1525698560 371852 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551074 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5221/statm: 372485 371852 310 324 0 371555 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 1489940 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.92 2/71 5304 /proc/meminfo: memFree=340752/2055920 swapFree=4183136/4192956 [pid=5221] ppid=5219 vsize=1489940 CPUtime=1541.88 /proc/5221/stat : 5221 (bsolo3.0.17) R 5219 5221 4070 0 -1 4194304 373957 0 0 0 154009 179 0 0 25 0 1 0 236589193 1525698560 371852 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5221/statm: 372485 371852 310 324 0 371555 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 1489940 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.92 2/65 5420 /proc/meminfo: memFree=341648/2055920 swapFree=4183136/4192956 [pid=5221] ppid=5219 vsize=1489940 CPUtime=1601.79 /proc/5221/stat : 5221 (bsolo3.0.17) R 5219 5221 4070 0 -1 4194304 373957 0 0 0 160000 179 0 0 25 0 1 0 236589193 1525698560 371852 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5221/statm: 372485 371852 310 324 0 371555 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 1489940 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.92 2/65 5420 /proc/meminfo: memFree=314960/2055920 swapFree=4183136/4192956 [pid=5221] ppid=5219 vsize=1516800 CPUtime=1661.78 /proc/5221/stat : 5221 (bsolo3.0.17) R 5219 5221 4070 0 -1 4194304 380691 0 0 0 165995 183 0 0 25 0 1 0 236589193 1553203200 378586 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5221/statm: 379200 378586 310 324 0 378270 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 1516800 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.92 2/65 5420 /proc/meminfo: memFree=256592/2055920 swapFree=4183136/4192956 [pid=5221] ppid=5219 vsize=1577212 CPUtime=1721.76 /proc/5221/stat : 5221 (bsolo3.0.17) R 5219 5221 4070 0 -1 4194304 395771 0 0 0 171986 190 0 0 25 0 1 0 236589193 1615065088 393666 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5221/statm: 394303 393666 310 324 0 393373 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 1577212 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.92 2/65 5420 /proc/meminfo: memFree=178768/2055920 swapFree=4183136/4192956 [pid=5221] ppid=5219 vsize=1653072 CPUtime=1781.75 /proc/5221/stat : 5221 (bsolo3.0.17) R 5219 5221 4070 0 -1 4194304 414744 0 0 0 177974 201 0 0 25 0 1 0 236589193 1692745728 412639 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550896 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5221/statm: 413268 412639 310 324 0 412338 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 1653072 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.92 2/65 5420 /proc/meminfo: memFree=161360/2055920 swapFree=4183136/4192956 [pid=5221] ppid=5219 vsize=1669892 CPUtime=1800.05 /proc/5221/stat : 5221 (bsolo3.0.17) R 5219 5221 4070 0 -1 4194304 418968 0 0 0 179803 202 0 0 25 0 1 0 236589193 1709969408 416863 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5221/statm: 417473 416863 310 324 0 416543 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1669892 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.8 s] /proc/loadavg: 1.00 1.00 0.92 2/65 5420 /proc/meminfo: memFree=161360/2055920 swapFree=4183136/4192956 [pid=5221] ppid=5219 vsize=0 CPUtime=1800.25 /proc/5221/stat : 5221 (bsolo3.0.17) R 5219 5221 4070 0 -1 4194308 418972 0 0 0 179803 222 0 0 25 0 1 0 236589193 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/5221/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.25 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.87 CPU time (s): 1800.32 CPU user time (s): 1798.03 CPU system time (s): 2.28865 CPU usage (%): 99.9696 Max. virtual memory (cumulated for all children) (KiB): 1669892 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.03 system time used= 2.28865 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 418972 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= 2954 runsolver used 1.36579 second user time and 3.61245 second system time The end
Begin job on node57 on Mon Apr 30 17:35:32 UTC 2007 IDJOB= 433105 IDBENCH= 2257 IDSOLVER= 199 FILE ID= node57/433105-1177954532 PBS_JOBID= 4727812 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-2.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433105-1177954532/instance-433105-1177954532.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node57/watcher-433105-1177954532 -o ROOT/results/node57/solver-433105-1177954532 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433105-1177954532/instance-433105-1177954532.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= b94d4317cfb468b1c3dd3d790ff99d4d RANDOM SEED= 672167071 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node57.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.239 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.239 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: 1832048 kB Buffers: 6328 kB Cached: 122432 kB SwapCached: 3704 kB Active: 65296 kB Inactive: 96440 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1832048 kB SwapTotal: 4192956 kB SwapFree: 4183136 kB Dirty: 8824 kB Writeback: 0 kB Mapped: 38948 kB Slab: 48196 kB Committed_AS: 2793840 kB PageTables: 1488 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 node57 on Mon Apr 30 18:05:35 UTC 2007