Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | -41 | 1800.28 | 1800.76 |
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.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/353631-1176671352/instance-353631-1176671352.opb 0.00/0.00 c File size is 2299186 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.376 s 0.39/0.41 c Var: 1272 Constr: 94289 94289/0/0 Lit: 188578 Watch. Lit: 188578 0.39/0.41 c Obj. Vars: 1272 (100 % of total variables) 3.20/3.22 c Pre-processing Time: 3.218 s 3.20/3.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.20/3.22 c 0 1272 94289 188578 2 188578 31429 0 0 3.22 3.20/3.22 c Switching off LPR mode. 3.20/3.23 o -38 3.234 3.20/3.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.20/3.28 c 0 1272 94290 189850 2 188618 32429 1 0 3.24 3.20/3.28 o -39 3.278 18.49/18.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 18.49/18.51 c 65 1272 94356 271126 2 188789 32429 67 19 3.28 18.49/18.51 c 165 1272 94456 394120 4 188989 35672 167 49 3.35 18.49/18.51 c 416 1272 94707 702730 7 189491 39240 418 117 3.53 18.49/18.51 c 891 1272 95182 1286756 13 190441 43165 893 223 3.98 18.49/18.51 c 1706 1272 95997 2288964 23 192071 47482 1708 350 4.87 18.49/18.51 c 3026 1272 97317 3912015 40 194711 52231 3028 422 7.16 18.49/18.51 c 5107 1272 99398 6469763 65 198873 57455 5109 452 11.30 18.49/18.51 c 8330 1272 102621 10430806 101 205319 63201 8332 453 18.38 18.49/18.51 o -40 18.51 53.27/53.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 53.27/53.30 c 8465 1272 102757 10598160 103 205631 32429 8468 457 18.51 53.27/53.30 c 8565 1272 102857 10721015 104 205831 35672 8568 459 18.63 53.27/53.30 c 8816 1272 103108 11029304 106 206333 39240 8819 458 19.24 53.27/53.30 c 9294 1272 103586 11616517 112 207289 43165 9297 470 19.74 53.27/53.30 c 10108 1272 104400 12616259 120 208917 47482 10111 486 20.79 53.27/53.30 c 11428 1272 105720 14237269 134 211557 52231 11431 459 24.86 53.27/53.30 c 13509 1272 107801 16793597 155 215719 57455 13512 462 29.20 53.27/53.30 c 16733 1272 111025 20752585 186 222167 63201 16736 472 35.44 53.27/53.30 c 21671 1272 115963 26813756 231 232043 69522 21674 446 48.50 53.27/53.30 o -41 53.277 1799.91/1800.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.91/1800.49 c 23609 1272 117902 29195816 247 235962 32429 23613 443 53.28 1799.91/1800.49 c 23711 1272 118004 29321034 248 236166 35672 23715 443 53.41 1799.91/1800.49 c 23962 1272 118255 29629004 250 236668 39240 23966 446 53.72 1799.91/1800.49 c 24437 1272 118730 30212073 254 237618 43165 24441 449 54.37 1799.91/1800.49 c 25251 1272 119544 31210741 261 239246 47482 25255 455 55.40 1799.91/1800.49 c 26571 1272 120864 32830439 271 241886 52231 26575 461 57.56 1799.91/1800.49 c 28653 1272 122946 35384955 287 246050 57455 28657 465 61.54 1799.91/1800.49 c 31876 1272 126169 39338594 311 252496 63201 31880 460 69.20 1799.91/1800.49 c 36812 1272 131105 45393332 346 262368 69522 36816 424 86.78 1799.91/1800.49 c 44319 1272 138612 54604377 393 277382 76475 44323 329 134.60 1799.91/1800.49 c 55680 1272 149973 68544900 457 300104 84123 55684 264 210.74 1799.91/1800.49 c 72825 1272 167118 89581907 536 334394 92536 72829 175 416.03 1799.91/1800.49 c 98646 1272 111568 21383322 191 223177 101790 17279 114 861.94 1799.91/1800.49 c 137478 1272 150400 69034603 459 300841 111970 56111 114 1197.38 1799.91/1800.49 c Resources Exceeded 1799.91/1800.49 v -x1272 x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 1799.91/1800.49 v -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 1799.91/1800.49 v -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 1799.91/1800.49 v -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 1799.91/1800.49 v -x1204 -x1203 -x1202 -x1201 x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 1799.91/1800.49 v -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 1799.91/1800.49 v -x1170 -x1169 -x1168 x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 1799.91/1800.49 v -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 x1140 -x1139 -x1138 -x1137 1799.91/1800.49 v -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 1799.91/1800.49 v -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 1799.91/1800.49 v -x1102 -x1101 -x1100 x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 1799.91/1800.49 v -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 1799.91/1800.49 v -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 1799.91/1800.49 v -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 x1040 -x1039 -x1038 -x1037 -x1036 -x1035 1799.91/1800.49 v -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 1799.91/1800.49 v x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 x1002 -x1001 -x1000 1799.91/1800.49 v -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 1799.91/1800.49 v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 1799.91/1800.49 v -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 1799.91/1800.49 v -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 1799.91/1800.49 v -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 1799.91/1800.49 v -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 1799.91/1800.49 v -x873 -x872 -x871 -x870 -x869 -x868 x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 1799.91/1800.49 v -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 x841 -x840 -x839 -x838 x837 -x836 -x835 -x834 -x833 -x832 1799.91/1800.49 v -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 x812 -x811 1799.91/1800.49 v -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 1799.91/1800.49 v -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 1799.91/1800.49 v -x768 x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 1799.91/1800.49 v -x747 -x746 -x745 -x744 -x743 -x742 x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 1799.91/1800.49 v -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 1799.91/1800.49 v -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 1799.91/1800.49 v -x684 x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 x667 -x666 -x665 -x664 1799.91/1800.49 v -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 1799.91/1800.49 v -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 1799.91/1800.49 v -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 1799.91/1800.49 v -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 x584 -x583 -x582 -x581 -x580 1799.91/1800.49 v -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 1799.91/1800.49 v x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 x543 -x542 -x541 -x540 -x539 -x538 1799.91/1800.49 v -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 1799.91/1800.49 v -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 1799.91/1800.49 v -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 1799.91/1800.49 v -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 1799.91/1800.49 v -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 1799.91/1800.49 v x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 1799.91/1800.49 v -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 x393 -x392 -x391 1799.91/1800.49 v -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 1799.91/1800.49 v -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 1799.91/1800.49 v -x348 -x347 -x346 -x345 -x344 x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 1799.91/1800.49 v -x327 -x326 -x325 x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 x309 -x308 -x307 1799.91/1800.49 v -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 1799.91/1800.49 v -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 x268 -x267 -x266 -x265 1799.91/1800.49 v -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 1799.91/1800.49 v x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 1799.91/1800.49 v -x222 -x221 -x220 -x219 -x218 -x217 -x216 x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 1799.91/1800.49 v -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 1799.91/1800.49 v -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 1799.91/1800.49 v -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 x145 -x144 -x143 -x142 -x141 -x140 x139 1799.91/1800.49 v -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 1799.91/1800.49 v -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 1799.91/1800.49 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.91/1800.49 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.91/1800.49 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.91/1800.49 v -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 1799.91/1800.49 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.91/1800.49 c 32 186453 19651 212007 199375 129145229 105086 103 1800.01 1799.91/1800.49 c Objective: -41 1799.91/1800.49 s SATISFIABLE 1799.91/1800.49 c Total time: 1800.01 s
OK -41
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node19/watcher-353631-1176671352 -o ROOT/results/node19/solver-353631-1176671352 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353631-1176671352/instance-353631-1176671352.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.97 0.99 3/77 26454 /proc/meminfo: memFree=1841744/2055920 swapFree=4159528/4192956 [pid=26454] ppid=26452 vsize=13984 CPUtime=0 /proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 115052613 14319616 335 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26454/statm: 3496 335 281 324 0 2003 0 [startup+0.02264 s] /proc/loadavg: 0.91 0.97 0.99 3/77 26454 /proc/meminfo: memFree=1841744/2055920 swapFree=4159528/4192956 [pid=26454] ppid=26452 vsize=6732 CPUtime=0.01 /proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 515 0 0 0 1 0 0 0 18 0 1 0 115052613 6893568 483 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7919227 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26454/statm: 1683 483 307 324 0 190 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 6732 [startup+0.10165 s] /proc/loadavg: 0.91 0.97 0.99 3/77 26454 /proc/meminfo: memFree=1841744/2055920 swapFree=4159528/4192956 [pid=26454] ppid=26452 vsize=8660 CPUtime=0.09 /proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 1133 0 0 0 9 0 0 0 18 0 1 0 115052613 8867840 1101 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7919227 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26454/statm: 2165 1101 426 324 0 672 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8660 [startup+0.30167 s] /proc/loadavg: 0.91 0.97 0.99 3/77 26454 /proc/meminfo: memFree=1841744/2055920 swapFree=4159528/4192956 [pid=26454] ppid=26452 vsize=13604 CPUtime=0.29 /proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 2647 0 0 0 28 1 0 0 19 0 1 0 115052613 13930496 2615 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7919227 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26454/statm: 3401 2615 722 324 0 1908 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13604 [startup+0.701713 s] /proc/loadavg: 0.91 0.97 0.99 3/77 26454 /proc/meminfo: memFree=1841744/2055920 swapFree=4159528/4192956 [pid=26454] ppid=26452 vsize=20812 CPUtime=0.69 /proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 5168 0 0 0 66 3 0 0 23 0 1 0 115052613 21311488 4574 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26454/statm: 5203 4574 307 324 0 4272 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 20812 [startup+1.5018 s] /proc/loadavg: 0.91 0.97 0.99 2/78 26455 /proc/meminfo: memFree=1824584/2055920 swapFree=4159528/4192956 [pid=26454] ppid=26452 vsize=20812 CPUtime=1.49 /proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 5168 0 0 0 144 5 0 0 25 0 1 0 115052613 21311488 4574 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26454/statm: 5203 4574 307 324 0 4272 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20812 [startup+3.10197 s] /proc/loadavg: 0.91 0.97 0.99 2/78 26455 /proc/meminfo: memFree=1824456/2055920 swapFree=4159528/4192956 [pid=26454] ppid=26452 vsize=20812 CPUtime=3.09 /proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 5168 0 0 0 301 8 0 0 25 0 1 0 115052613 21311488 4574 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26454/statm: 5203 4574 307 324 0 4272 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 20812 [startup+6.30132 s] /proc/loadavg: 0.92 0.97 0.99 2/78 26455 /proc/meminfo: memFree=1792264/2055920 swapFree=4159528/4192956 [pid=26454] ppid=26452 vsize=60528 CPUtime=6.29 /proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 16524 0 0 0 616 13 0 0 25 0 1 0 115052613 61980672 14509 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26454/statm: 15132 14509 312 324 0 14201 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 60528 [startup+12.702 s] /proc/loadavg: 0.93 0.97 0.99 2/78 26455 /proc/meminfo: memFree=1739080/2055920 swapFree=4159528/4192956 [pid=26454] ppid=26452 vsize=112852 CPUtime=12.68 /proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 29591 0 0 0 1249 19 0 0 25 0 1 0 115052613 115560448 27576 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26454/statm: 28213 27576 312 324 0 27282 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 112852 [startup+25.5014 s] /proc/loadavg: 0.94 0.97 0.99 2/78 26455 /proc/meminfo: memFree=1642760/2055920 swapFree=4159528/4192956 [pid=26454] ppid=26452 vsize=204988 CPUtime=25.48 /proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 52654 0 0 0 2517 31 0 0 25 0 1 0 115052613 209907712 50639 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26454/statm: 51247 50639 312 324 0 50316 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 204988 [startup+51.1012 s] /proc/loadavg: 1.03 0.99 0.99 2/78 26455 /proc/meminfo: memFree=1470280/2055920 swapFree=4159528/4192956 [pid=26454] ppid=26452 vsize=376980 CPUtime=51.07 /proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 95648 0 0 0 5058 49 0 0 25 0 1 0 115052613 386027520 93633 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26454/statm: 94245 93633 312 324 0 93314 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 376980 [startup+102.306 s] /proc/loadavg: 1.13 1.02 1.00 2/78 26455 /proc/meminfo: memFree=1197256/2055920 swapFree=4159528/4192956 [pid=26454] ppid=26452 vsize=646992 CPUtime=102.26 /proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 163151 0 0 0 10145 81 0 0 25 0 1 0 115052613 662519808 161136 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26454/statm: 161748 161136 312 324 0 160817 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 646992 [startup+162.301 s] /proc/loadavg: 1.16 1.04 1.01 2/78 26455 /proc/meminfo: memFree=1043464/2055920 swapFree=4159528/4192956 [pid=26454] ppid=26452 vsize=801300 CPUtime=162.24 /proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 201720 0 0 0 16124 100 0 0 25 0 1 0 115052613 820531200 199705 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134586732 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26454/statm: 200325 199705 312 324 0 199394 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 801300 [startup+222.302 s] /proc/loadavg: 1.12 1.05 1.01 2/78 26455 /proc/meminfo: memFree=900296/2055920 swapFree=4159528/4192956 [pid=26454] ppid=26452 vsize=943888 CPUtime=222.23 /proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 237367 0 0 0 22104 119 0 0 25 0 1 0 115052613 966541312 235352 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134587075 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26454/statm: 235972 235352 312 324 0 235041 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 943888 [startup+282.301 s] /proc/loadavg: 1.04 1.04 1.00 2/78 26455 /proc/meminfo: memFree=796488/2055920 swapFree=4159528/4192956 [pid=26454] ppid=26452 vsize=1047860 CPUtime=282.21 /proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 263360 0 0 0 28085 136 0 0 25 0 1 0 115052613 1073008640 261345 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26454/statm: 261965 261345 312 324 0 261034 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 1047860 [startup+342.302 s] /proc/loadavg: 1.01 1.03 1.00 2/78 26455 /proc/meminfo: memFree=736200/2055920 swapFree=4159528/4192956 [pid=26454] ppid=26452 vsize=1107104 CPUtime=342.19 /proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 278168 0 0 0 34075 144 0 0 25 0 1 0 115052613 1133674496 276153 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26454/statm: 276776 276153 312 324 0 275845 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 1107104 [startup+402.301 s] /proc/loadavg: 1.00 1.02 1.00 2/78 26455 /proc/meminfo: memFree=696584/2055920 swapFree=4159528/4192956 [pid=26454] ppid=26452 vsize=1147644 CPUtime=402.18 /proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 288295 0 0 0 40068 150 0 0 25 0 1 0 115052613 1175187456 286280 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26454/statm: 286911 286280 312 324 0 285980 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 1147644 [startup+462.302 s] /proc/loadavg: 1.00 1.01 1.00 2/78 26455 /proc/meminfo: memFree=521544/2055920 swapFree=4159528/4192956 [pid=26454] ppid=26452 vsize=1322140 CPUtime=462.17 /proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 331918 0 0 0 46044 173 0 0 25 0 1 0 115052613 1353871360 329903 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134586732 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26454/statm: 330535 329903 312 324 0 329604 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 1322140 [startup+522.301 s] /proc/loadavg: 1.00 1.01 1.00 2/78 26455 /proc/meminfo: memFree=430792/2055920 swapFree=4159528/4192956 [pid=26454] ppid=26452 vsize=1413636 CPUtime=522.14 /proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 354812 0 0 0 52031 183 0 0 25 0 1 0 115052613 1447563264 352797 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26454/statm: 353409 352797 312 324 0 352478 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 1413636 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26455 /proc/meminfo: memFree=357128/2055920 swapFree=4159528/4192956 [pid=26454] ppid=26452 vsize=1485548 CPUtime=582.13 /proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 372794 0 0 0 58018 195 0 0 25 0 1 0 115052613 1521201152 370779 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26454/statm: 371387 370779 312 324 0 370456 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 1485548 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26455 /proc/meminfo: memFree=352328/2055920 swapFree=4159528/4192956 [pid=26454] ppid=26452 vsize=1489940 CPUtime=642.12 /proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 373961 0 0 0 64016 196 0 0 25 0 1 0 115052613 1525698560 371854 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26454/statm: 372485 371854 312 324 0 371554 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 1489940 ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26455 /proc/meminfo: memFree=352392/2055920 swapFree=4159528/4192956 [pid=26454] ppid=26452 vsize=1489940 CPUtime=942.04 /proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 373961 0 0 0 94001 203 0 0 25 0 1 0 115052613 1525698560 371854 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551255 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26454/statm: 372485 371854 312 324 0 371554 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 1489940 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26455 /proc/meminfo: memFree=352456/2055920 swapFree=4159528/4192956 [pid=26454] ppid=26452 vsize=1489940 CPUtime=1002.02 /proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 373961 0 0 0 99997 205 0 0 25 0 1 0 115052613 1525698560 371854 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160527336 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26454/statm: 372485 371854 312 324 0 371554 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 1489940 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26455 /proc/meminfo: memFree=352456/2055920 swapFree=4159528/4192956 [pid=26454] ppid=26452 vsize=1489940 CPUtime=1062.01 /proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 373961 0 0 0 105995 206 0 0 25 0 1 0 115052613 1525698560 371854 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26454/statm: 372485 371854 312 324 0 371554 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 1489940 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26455 /proc/meminfo: memFree=352456/2055920 swapFree=4159528/4192956 [pid=26454] ppid=26452 vsize=1489940 CPUtime=1121.99 /proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 373961 0 0 0 111992 207 0 0 25 0 1 0 115052613 1525698560 371854 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091721 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26454/statm: 372485 371854 312 324 0 371554 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 1489940 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26455 /proc/meminfo: memFree=352520/2055920 swapFree=4159528/4192956 [pid=26454] ppid=26452 vsize=1489940 CPUtime=1181.98 /proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 373961 0 0 0 117988 210 0 0 25 0 1 0 115052613 1525698560 371854 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26454/statm: 372485 371854 312 324 0 371554 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 1489940 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26455 /proc/meminfo: memFree=352456/2055920 swapFree=4159528/4192956 [pid=26454] ppid=26452 vsize=1489940 CPUtime=1241.96 /proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 373961 0 0 0 123983 213 0 0 25 0 1 0 115052613 1525698560 371854 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26454/statm: 372485 371854 312 324 0 371554 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 1489940 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26455 /proc/meminfo: memFree=352456/2055920 swapFree=4159528/4192956 [pid=26454] ppid=26452 vsize=1489940 CPUtime=1301.94 /proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 373961 0 0 0 129979 215 0 0 25 0 1 0 115052613 1525698560 371854 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7917129 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26454/statm: 372485 371854 312 324 0 371554 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 1489940 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26455 /proc/meminfo: memFree=352392/2055920 swapFree=4159528/4192956 [pid=26454] ppid=26452 vsize=1489940 CPUtime=1361.93 /proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 373961 0 0 0 135976 217 0 0 25 0 1 0 115052613 1525698560 371854 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134574692 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26454/statm: 372485 371854 312 324 0 371554 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 1489940 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26455 /proc/meminfo: memFree=352520/2055920 swapFree=4159528/4192956 [pid=26454] ppid=26452 vsize=1489940 CPUtime=1421.92 /proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 373961 0 0 0 141973 219 0 0 25 0 1 0 115052613 1525698560 371854 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26454/statm: 372485 371854 312 324 0 371554 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 1489940 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26455 /proc/meminfo: memFree=352520/2055920 swapFree=4159528/4192956 [pid=26454] ppid=26452 vsize=1489940 CPUtime=1481.9 /proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 373961 0 0 0 147970 220 0 0 25 0 1 0 115052613 1525698560 371854 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26454/statm: 372485 371854 312 324 0 371554 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 1489940 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26455 /proc/meminfo: memFree=352520/2055920 swapFree=4159528/4192956 [pid=26454] ppid=26452 vsize=1489940 CPUtime=1541.88 /proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 373961 0 0 0 153967 221 0 0 25 0 1 0 115052613 1525698560 371854 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26454/statm: 372485 371854 312 324 0 371554 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 1.00 2/78 26455 /proc/meminfo: memFree=352520/2055920 swapFree=4159528/4192956 [pid=26454] ppid=26452 vsize=1489940 CPUtime=1601.86 /proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 373961 0 0 0 159964 222 0 0 25 0 1 0 115052613 1525698560 371854 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551306 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26454/statm: 372485 371854 312 324 0 371554 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 1489940 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26455 /proc/meminfo: memFree=326792/2055920 swapFree=4159528/4192956 [pid=26454] ppid=26452 vsize=1515672 CPUtime=1661.85 /proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 380409 0 0 0 165958 227 0 0 25 0 1 0 115052613 1552048128 378302 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26454/statm: 378918 378302 312 324 0 377987 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 1515672 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26457 /proc/meminfo: memFree=269960/2055920 swapFree=4159528/4192956 [pid=26454] ppid=26452 vsize=1572688 CPUtime=1721.83 /proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 394643 0 0 0 171950 233 0 0 25 0 1 0 115052613 1610432512 392536 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26454/statm: 393172 392536 312 324 0 392241 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 1572688 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26457 /proc/meminfo: memFree=191496/2055920 swapFree=4159528/4192956 [pid=26454] ppid=26452 vsize=1650812 CPUtime=1781.82 /proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 414183 0 0 0 177936 246 0 0 25 0 1 0 115052613 1690431488 412076 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26454/statm: 412703 412076 312 324 0 411772 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 1650812 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26457 /proc/meminfo: memFree=226184/2055920 swapFree=4159528/4192956 [pid=26454] ppid=26452 vsize=0 CPUtime=1800.02 /proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194308 418251 0 0 0 179753 249 0 0 17 0 1 0 115052613 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26454/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 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.61 s] /proc/loadavg: 1.00 1.00 1.00 2/79 26458 /proc/meminfo: memFree=875160/2055920 swapFree=4159528/4192956 [pid=26454] ppid=26452 vsize=0 CPUtime=1800.12 /proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194308 418251 0 0 0 179753 259 0 0 17 0 1 0 115052613 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26454/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 0 [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/79 26458 /proc/meminfo: memFree=875160/2055920 swapFree=4159528/4192956 [pid=26454] ppid=26452 vsize=0 CPUtime=1800.22 /proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194308 418251 0 0 0 179753 269 0 0 18 0 1 0 115052613 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26454/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.22 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.76 CPU time (s): 1800.28 CPU user time (s): 1797.53 CPU system time (s): 2.74458 CPU usage (%): 99.9734 Max. virtual memory (cumulated for all children) (KiB): 1666880 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.53 system time used= 2.74458 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 418251 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= 13684 runsolver used 2.29465 second user time and 4.17037 second system time The end
Begin job on node19 on Sun Apr 15 21:09:12 UTC 2007 IDJOB= 353631 IDBENCH= 2257 IDSOLVER= 163 FILE ID= node19/353631-1176671352 PBS_JOBID= 4559376 Free space on /tmp= 66538 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-2.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353631-1176671352/instance-353631-1176671352.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-353631-1176671352 -o ROOT/results/node19/solver-353631-1176671352 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353631-1176671352/instance-353631-1176671352.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= b94d4317cfb468b1c3dd3d790ff99d4d RANDOM SEED= 437561056 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node19.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.213 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.213 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: 1842152 kB Buffers: 34168 kB Cached: 104388 kB SwapCached: 2204 kB Active: 92584 kB Inactive: 69836 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1842152 kB SwapTotal: 4192956 kB SwapFree: 4159528 kB Dirty: 6724 kB Writeback: 0 kB Mapped: 31892 kB Slab: 36836 kB Committed_AS: 2898716 kB PageTables: 1788 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= 66538 MiB End job on node19 on Sun Apr 15 21:39:15 UTC 2007