Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | -41 | 1800.28 | 1800.86 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-5.opb |
MD5SUM | 20471e978018d28aed0ca16c46de4e3d |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -51 |
Best CPU time to get the best result obtained on this benchmark | 1800.08 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -51 |
Optimality of the best value was proved | NO |
Number of variables | 1272 |
Total number of constraints | 94226 |
Number of constraints which are clauses | 94226 |
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/433106-1177954536/instance-433106-1177954536.opb 0.00/0.00 c File size is 2294904 bytes. 0.30/0.38 c Highest Coefficient sum: 1272 0.30/0.38 c Parsing was ok!! 0.30/0.38 c Total parsing time: 0.383 s 0.39/0.42 c Var: 1272 Constr: 94226 94226/0/0 Lit: 188452 Watch. Lit: 188452 0.39/0.42 c Obj. Vars: 1272 (100 % of total variables) 2.89/2.95 c Pre-processing Time: 2.952 s 2.89/2.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.89/2.96 c 0 1272 94226 188452 2 188452 31408 0 0 2.95 2.89/2.96 c Switching off LPR mode. 2.89/2.97 o -36 2.967 2.89/2.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.89/2.99 c 0 1272 94227 189724 2 188490 32408 1 0 2.97 2.89/2.99 o -37 2.994 2.99/3.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.99/3.01 c 38 1272 94266 237848 2 188605 32408 40 12 3.00 2.99/3.01 o -38 3.007 2.99/3.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.99/3.02 c 48 1272 94277 251435 2 188665 32408 51 15 3.01 2.99/3.02 o -40 3.02 33.18/33.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 33.18/33.25 c 57 1272 94287 263787 2 188725 32408 61 18 3.02 33.18/33.25 c 158 1272 94388 387808 4 188927 35649 162 50 3.10 33.18/33.25 c 408 1272 94638 694806 7 189427 39214 412 124 3.29 33.18/33.25 c 884 1272 95114 1279319 13 190379 43136 888 236 3.74 33.18/33.25 c 1698 1272 95928 2278976 23 192007 47450 1702 358 4.73 33.18/33.25 c 3019 1272 97249 3901582 40 194649 52196 3023 421 7.16 33.18/33.25 c 5100 1272 99330 6457378 65 198811 57416 5104 465 10.96 33.18/33.25 c 8323 1272 102553 10416294 101 205257 63158 8327 432 19.23 33.18/33.25 c 13259 1272 107489 16476591 153 215129 69474 13263 399 33.20 33.18/33.25 o -41 33.243 1800.02/1800.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.02/1800.61 c 13260 1272 107491 16479094 153 215174 32408 13265 398 33.25 1800.02/1800.61 c 13361 1272 107592 16603026 154 215376 35649 13366 400 33.34 1800.02/1800.61 c 13611 1272 107842 16909780 156 215876 39214 13616 404 33.62 1800.02/1800.61 c 14086 1272 108317 17492520 161 216826 43136 14091 412 34.17 1800.02/1800.61 c 14899 1272 109130 18489742 169 218452 47450 14904 423 35.15 1800.02/1800.61 c 16219 1272 110450 20109322 182 221092 52196 16224 437 37.08 1800.02/1800.61 c 18301 1272 112532 22663727 201 225256 57416 18306 454 40.26 1800.02/1800.61 c 21524 1272 115755 26619459 229 231702 63158 21529 414 51.94 1800.02/1800.61 c 26460 1272 120691 32676681 270 241574 69474 26465 395 66.97 1800.02/1800.61 c 33966 1272 128197 41885868 326 256586 76422 33971 389 87.28 1800.02/1800.61 c 45328 1272 139559 55826795 400 279310 84065 45333 350 129.41 1800.02/1800.61 c 62474 1272 156705 76867624 490 313602 92472 62479 242 257.69 1800.02/1800.61 c 88293 1272 182524 108552425 594 365240 101720 88298 137 642.74 1800.02/1800.61 c 127125 1272 130771 45019917 344 261583 111893 36545 107 1179.83 1800.02/1800.61 c Caught signal: 15 1800.02/1800.61 v -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 1800.02/1800.61 v -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 x1241 -x1240 -x1239 1800.02/1800.61 v -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 1800.02/1800.61 v -x1221 -x1220 x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 1800.02/1800.61 v -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 1800.02/1800.61 v -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 1800.02/1800.61 v -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 1800.02/1800.61 v -x1153 x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 1800.02/1800.61 v -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 1800.02/1800.61 v -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 1800.02/1800.61 v -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 x1086 1800.02/1800.61 v -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 x1069 1800.02/1800.61 v -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 1800.02/1800.61 v -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 1800.02/1800.61 v -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 1800.02/1800.61 v -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 x1003 -x1002 -x1001 1800.02/1800.61 v -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 1800.02/1800.61 v -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 x964 -x963 -x962 -x961 -x960 1800.02/1800.61 v -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 1800.02/1800.61 v -x938 x937 -x936 -x935 -x934 -x933 -x932 -x931 x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 1800.02/1800.61 v -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 1800.02/1800.61 v -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 1800.02/1800.61 v -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 1800.02/1800.61 v -x854 -x853 -x852 -x851 -x850 -x849 x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 1800.02/1800.61 v -x833 -x832 -x831 x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 1800.02/1800.61 v -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 1800.02/1800.61 v -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 1800.02/1800.61 v -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 1800.02/1800.61 v -x749 x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 1800.02/1800.61 v -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 1800.02/1800.61 v -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 x690 -x689 -x688 -x687 1800.02/1800.61 v -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 1800.02/1800.61 v x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 1800.02/1800.61 v -x644 x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 1800.02/1800.61 v -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 x606 -x605 -x604 -x603 1800.02/1800.61 v -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 1800.02/1800.61 v -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 1800.02/1800.61 v -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 x540 1800.02/1800.61 v -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 1800.02/1800.61 v -x518 -x517 -x516 x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 1800.02/1800.61 v -x497 -x496 x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 1800.02/1800.61 v -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 x461 -x460 -x459 -x458 -x457 -x456 1800.02/1800.61 v -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 1800.02/1800.61 v -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 1800.02/1800.61 v -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 1800.02/1800.61 v -x392 -x391 -x390 -x389 -x388 x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 1800.02/1800.61 v -x371 -x370 -x369 -x368 x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 x357 -x356 -x355 -x354 -x353 -x352 -x351 1800.02/1800.61 v -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 1800.02/1800.61 v -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 x319 -x318 -x317 -x316 -x315 -x314 -x313 x312 -x311 -x310 -x309 1800.02/1800.61 v -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 1800.02/1800.61 v -x287 -x286 -x285 -x284 -x283 -x282 -x281 x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 1800.02/1800.61 v -x266 -x265 -x264 -x263 -x262 -x261 x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 1800.02/1800.61 v -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 1800.02/1800.61 v -x224 -x223 -x222 -x221 -x220 -x219 -x218 x217 -x216 -x215 -x214 -x213 -x212 -x211 x210 -x209 -x208 -x207 -x206 -x205 -x204 1800.02/1800.61 v -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 1800.02/1800.61 v -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 1800.02/1800.61 v -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 1800.02/1800.61 v -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 1800.02/1800.61 v -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 1800.02/1800.61 v -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 x73 1800.02/1800.61 v -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 x49 -x48 -x47 1800.02/1800.61 v -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 x22 -x21 1800.02/1800.61 v -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 1800.02/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.02/1800.61 c 26 171771 18777 196498 175417 99793968 81191 95 1800.02 1800.02/1800.61 c Objective: -41 1800.02/1800.61 s SATISFIABLE 1800.02/1800.61 c Total time: 1800.02 s
OK -41
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node27/watcher-433106-1177954536 -o ROOT/results/node27/solver-433106-1177954536 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433106-1177954536/instance-433106-1177954536.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.77 0.92 0.91 3/65 24605 /proc/meminfo: memFree=1776536/2055920 swapFree=4182924/4192956 [pid=24605] ppid=24603 vsize=13980 CPUtime=0 /proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 364 0 0 0 0 0 0 0 18 0 1 0 208149564 14315520 334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24605/statm: 3495 335 279 324 0 2004 0 [startup+0.0303851 s] /proc/loadavg: 0.77 0.92 0.91 3/65 24605 /proc/meminfo: memFree=1776536/2055920 swapFree=4182924/4192956 [pid=24605] ppid=24603 vsize=6868 CPUtime=0.02 /proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 568 0 0 0 2 0 0 0 18 0 1 0 208149564 7032832 538 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24605/statm: 1717 539 316 324 0 226 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 6868 [startup+0.101392 s] /proc/loadavg: 0.77 0.92 0.91 3/65 24605 /proc/meminfo: memFree=1776536/2055920 swapFree=4182924/4192956 [pid=24605] ppid=24603 vsize=8652 CPUtime=0.09 /proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 1112 0 0 0 9 0 0 0 18 0 1 0 208149564 8859648 1082 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24605/statm: 2163 1082 420 324 0 672 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8652 [startup+0.301411 s] /proc/loadavg: 0.77 0.92 0.91 3/65 24605 /proc/meminfo: memFree=1776536/2055920 swapFree=4182924/4192956 [pid=24605] ppid=24603 vsize=13464 CPUtime=0.3 /proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 2598 0 0 0 28 2 0 0 19 0 1 0 208149564 13787136 2568 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1902203 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24605/statm: 3366 2568 711 324 0 1875 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 13464 [startup+0.701451 s] /proc/loadavg: 0.77 0.92 0.91 3/65 24605 /proc/meminfo: memFree=1776536/2055920 swapFree=4182924/4192956 [pid=24605] ppid=24603 vsize=20824 CPUtime=0.69 /proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 5160 0 0 0 66 3 0 0 22 0 1 0 208149564 21323776 4569 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24605/statm: 5206 4569 305 324 0 4276 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 20824 [startup+1.50153 s] /proc/loadavg: 0.77 0.92 0.91 2/66 24606 /proc/meminfo: memFree=1759376/2055920 swapFree=4182924/4192956 [pid=24605] ppid=24603 vsize=20824 CPUtime=1.49 /proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 5160 0 0 0 145 4 0 0 25 0 1 0 208149564 21323776 4569 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24605/statm: 5206 4569 305 324 0 4276 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20824 [startup+3.10169 s] /proc/loadavg: 0.79 0.92 0.91 2/66 24606 /proc/meminfo: memFree=1759248/2055920 swapFree=4182924/4192956 [pid=24605] ppid=24603 vsize=20264 CPUtime=3.09 /proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 6468 0 0 0 301 8 0 0 25 0 1 0 208149564 20750336 4456 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586540 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24605/statm: 5066 4456 310 324 0 4136 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 20264 [startup+6.30302 s] /proc/loadavg: 0.79 0.92 0.91 2/66 24606 /proc/meminfo: memFree=1726736/2055920 swapFree=4182924/4192956 [pid=24605] ppid=24603 vsize=59976 CPUtime=6.29 /proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 16387 0 0 0 617 12 0 0 25 0 1 0 208149564 61415424 14375 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24605/statm: 14994 14375 310 324 0 14064 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 59976 [startup+12.7017 s] /proc/loadavg: 0.81 0.92 0.91 2/66 24606 /proc/meminfo: memFree=1668816/2055920 swapFree=4182924/4192956 [pid=24605] ppid=24603 vsize=116408 CPUtime=12.69 /proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 30499 0 0 0 1252 17 0 0 25 0 1 0 208149564 119201792 28487 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24605/statm: 29102 28487 310 324 0 28172 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 116408 [startup+25.502 s] /proc/loadavg: 0.85 0.93 0.91 2/66 24606 /proc/meminfo: memFree=1591376/2055920 swapFree=4182924/4192956 [pid=24605] ppid=24603 vsize=189280 CPUtime=25.49 /proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 48705 0 0 0 2523 26 0 0 25 0 1 0 208149564 193822720 46693 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24605/statm: 47320 46693 310 324 0 46390 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 189280 [startup+51.1015 s] /proc/loadavg: 0.90 0.93 0.91 2/66 24606 /proc/meminfo: memFree=1426512/2055920 swapFree=4182924/4192956 [pid=24605] ppid=24603 vsize=354020 CPUtime=51.08 /proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 89894 0 0 0 5064 44 0 0 25 0 1 0 208149564 362516480 87882 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24605/statm: 88505 87882 310 324 0 87575 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 354020 [startup+102.306 s] /proc/loadavg: 0.96 0.94 0.91 2/66 24606 /proc/meminfo: memFree=1131984/2055920 swapFree=4182924/4192956 [pid=24605] ppid=24603 vsize=647152 CPUtime=102.27 /proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 163177 0 0 0 10152 75 0 0 25 0 1 0 208149564 662683648 161165 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586540 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24605/statm: 161788 161165 310 324 0 160858 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 647152 [startup+162.302 s] /proc/loadavg: 0.98 0.95 0.91 2/66 24606 /proc/meminfo: memFree=919440/2055920 swapFree=4182924/4192956 [pid=24605] ppid=24603 vsize=860588 CPUtime=162.25 /proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 216524 0 0 0 16127 98 0 0 25 0 1 0 208149564 881242112 214512 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586540 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24605/statm: 215147 214512 310 324 0 214217 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 860588 [startup+222.302 s] /proc/loadavg: 0.99 0.95 0.91 2/66 24606 /proc/meminfo: memFree=822672/2055920 swapFree=4182924/4192956 [pid=24605] ppid=24603 vsize=955880 CPUtime=222.23 /proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 240344 0 0 0 22113 110 0 0 25 0 1 0 208149564 978821120 238332 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24605/statm: 238970 238332 310 324 0 238040 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 955880 [startup+282.302 s] /proc/loadavg: 0.99 0.96 0.91 2/66 24606 /proc/meminfo: memFree=722320/2055920 swapFree=4182924/4192956 [pid=24605] ppid=24603 vsize=1056584 CPUtime=282.22 /proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 265527 0 0 0 28099 123 0 0 25 0 1 0 208149564 1081942016 263515 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24605/statm: 264146 263515 310 324 0 263216 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 1056584 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.91 2/66 24606 /proc/meminfo: memFree=626768/2055920 swapFree=4182924/4192956 [pid=24605] ppid=24603 vsize=1151380 CPUtime=342.2 /proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 289226 0 0 0 34086 134 0 0 25 0 1 0 208149564 1179013120 287214 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24605/statm: 287845 287214 310 324 0 286915 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 1151380 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.91 2/66 24606 /proc/meminfo: memFree=561296/2055920 swapFree=4182924/4192956 [pid=24605] ppid=24603 vsize=1217168 CPUtime=402.18 /proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 305670 0 0 0 40077 141 0 0 25 0 1 0 208149564 1246380032 303658 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24605/statm: 304292 303658 310 324 0 303362 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 1217168 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.91 2/66 24606 /proc/meminfo: memFree=506640/2055920 swapFree=4182924/4192956 [pid=24605] ppid=24603 vsize=1271420 CPUtime=462.16 /proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 319240 0 0 0 46067 149 0 0 25 0 1 0 208149564 1301934080 317228 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24605/statm: 317855 317228 310 324 0 316925 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 1271420 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.91 2/66 24606 /proc/meminfo: memFree=461200/2055920 swapFree=4182924/4192956 [pid=24605] ppid=24603 vsize=1316992 CPUtime=522.14 /proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 330641 0 0 0 52060 154 0 0 25 0 1 0 208149564 1348599808 328629 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24605/statm: 329248 328629 310 324 0 328318 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 1316992 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.91 2/66 24606 /proc/meminfo: memFree=418768/2055920 swapFree=4182924/4192956 [pid=24605] ppid=24603 vsize=1359052 CPUtime=582.13 /proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 341144 0 0 0 58053 160 0 0 25 0 1 0 208149564 1391669248 339132 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24605/statm: 339763 339132 310 324 0 338833 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 1359052 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.91 2/66 24606 /proc/meminfo: memFree=373776/2055920 swapFree=4182924/4192956 [pid=24605] ppid=24603 vsize=1403488 CPUtime=642.12 /proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 352262 0 0 0 64047 165 0 0 25 0 1 0 208149564 1437171712 350250 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24605/statm: 350872 350250 310 324 0 349942 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 1403488 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.91 2/66 24606 /proc/meminfo: memFree=142864/2055920 swapFree=4182924/4192956 [pid=24605] ppid=24603 vsize=1633896 CPUtime=882.05 /proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 409972 0 0 0 88010 195 0 0 25 0 1 0 208149564 1673109504 407859 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24605/statm: 408474 407859 310 324 0 407544 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 1633896 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.91 2/66 24606 /proc/meminfo: memFree=142928/2055920 swapFree=4182924/4192956 [pid=24605] ppid=24603 vsize=1633896 CPUtime=942.03 /proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 409972 0 0 0 94008 195 0 0 25 0 1 0 208149564 1673109504 407859 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24605/statm: 408474 407859 310 324 0 407544 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 1633896 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.91 2/66 24606 /proc/meminfo: memFree=142928/2055920 swapFree=4182924/4192956 [pid=24605] ppid=24603 vsize=1633896 CPUtime=1002.01 /proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 409972 0 0 0 100006 195 0 0 25 0 1 0 208149564 1673109504 407859 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24605/statm: 408474 407859 310 324 0 407544 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 1633896 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.91 2/66 24606 /proc/meminfo: memFree=142928/2055920 swapFree=4182924/4192956 [pid=24605] ppid=24603 vsize=1633896 CPUtime=1061.99 /proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 409972 0 0 0 106004 195 0 0 25 0 1 0 208149564 1673109504 407859 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24605/statm: 408474 407859 310 324 0 407544 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 1633896 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.91 2/66 24606 /proc/meminfo: memFree=142992/2055920 swapFree=4182924/4192956 [pid=24605] ppid=24603 vsize=1633896 CPUtime=1121.98 /proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 409972 0 0 0 112003 195 0 0 25 0 1 0 208149564 1673109504 407859 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24605/statm: 408474 407859 310 324 0 407544 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 1633896 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.91 2/66 24606 /proc/meminfo: memFree=142992/2055920 swapFree=4182924/4192956 [pid=24605] ppid=24603 vsize=1633896 CPUtime=1181.97 /proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 409972 0 0 0 118001 196 0 0 25 0 1 0 208149564 1673109504 407859 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1897776 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24605/statm: 408474 407859 310 324 0 407544 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 1633896 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.91 2/66 24606 /proc/meminfo: memFree=142928/2055920 swapFree=4182924/4192956 [pid=24605] ppid=24603 vsize=1633896 CPUtime=1241.95 /proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 409972 0 0 0 123999 196 0 0 25 0 1 0 208149564 1673109504 407859 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24605/statm: 408474 407859 310 324 0 407544 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 1633896 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.91 2/66 24606 /proc/meminfo: memFree=142928/2055920 swapFree=4182924/4192956 [pid=24605] ppid=24603 vsize=1633896 CPUtime=1301.94 /proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 409972 0 0 0 129998 196 0 0 25 0 1 0 208149564 1673109504 407859 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24605/statm: 408474 407859 310 324 0 407544 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 1633896 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.91 2/66 24606 /proc/meminfo: memFree=142864/2055920 swapFree=4182924/4192956 [pid=24605] ppid=24603 vsize=1633896 CPUtime=1361.91 /proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 409972 0 0 0 135995 196 0 0 25 0 1 0 208149564 1673109504 407859 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24605/statm: 408474 407859 310 324 0 407544 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 1633896 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.91 2/66 24606 /proc/meminfo: memFree=142928/2055920 swapFree=4182924/4192956 [pid=24605] ppid=24603 vsize=1633896 CPUtime=1421.9 /proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 409972 0 0 0 141994 196 0 0 25 0 1 0 208149564 1673109504 407859 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24605/statm: 408474 407859 310 324 0 407544 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 1633896 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.91 2/66 24606 /proc/meminfo: memFree=142928/2055920 swapFree=4182924/4192956 [pid=24605] ppid=24603 vsize=1633896 CPUtime=1481.88 /proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 409972 0 0 0 147992 196 0 0 25 0 1 0 208149564 1673109504 407859 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550896 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24605/statm: 408474 407859 310 324 0 407544 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 1633896 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.91 2/72 24714 /proc/meminfo: memFree=141600/2055920 swapFree=4182924/4192956 [pid=24605] ppid=24603 vsize=1633896 CPUtime=1541.83 /proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 409972 0 0 0 153986 197 0 0 25 0 1 0 208149564 1673109504 407859 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550902 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24605/statm: 408474 407859 310 324 0 407544 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 1633896 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.91 2/66 24804 /proc/meminfo: memFree=142544/2055920 swapFree=4182924/4192956 [pid=24605] ppid=24603 vsize=1633896 CPUtime=1601.76 /proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 409972 0 0 0 159979 197 0 0 25 0 1 0 208149564 1673109504 407859 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551312 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24605/statm: 408474 407859 310 324 0 407544 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 1633896 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.91 2/66 24804 /proc/meminfo: memFree=142544/2055920 swapFree=4182924/4192956 [pid=24605] ppid=24603 vsize=1633896 CPUtime=1661.74 /proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 409972 0 0 0 165977 197 0 0 25 0 1 0 208149564 1673109504 407859 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24605/statm: 408474 407859 310 324 0 407544 0 Current children cumulated CPU time (s) 1661.74 Current children cumulated vsize (KiB) 1633896 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.91 2/66 24804 /proc/meminfo: memFree=142544/2055920 swapFree=4182924/4192956 [pid=24605] ppid=24603 vsize=1633896 CPUtime=1721.73 /proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 409972 0 0 0 171975 198 0 0 25 0 1 0 208149564 1673109504 407859 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24605/statm: 408474 407859 310 324 0 407544 0 Current children cumulated CPU time (s) 1721.73 Current children cumulated vsize (KiB) 1633896 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.91 2/66 24804 /proc/meminfo: memFree=142608/2055920 swapFree=4182924/4192956 [pid=24605] ppid=24603 vsize=1633896 CPUtime=1781.71 /proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 409972 0 0 0 177973 198 0 0 25 0 1 0 208149564 1673109504 407859 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160527312 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24605/statm: 408474 407859 310 324 0 407544 0 Current children cumulated CPU time (s) 1781.71 Current children cumulated vsize (KiB) 1633896 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.91 2/66 24804 /proc/meminfo: memFree=142672/2055920 swapFree=4182924/4192956 [pid=24605] ppid=24603 vsize=1633896 CPUtime=1800.02 /proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 409972 0 0 0 179804 198 0 0 25 0 1 0 208149564 1673109504 407859 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24605/statm: 408474 407859 310 324 0 407544 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1633896 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/66 24804 /proc/meminfo: memFree=142672/2055920 swapFree=4182924/4192956 [pid=24605] ppid=24603 vsize=0 CPUtime=1800.21 /proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194308 409976 0 0 0 179804 217 0 0 25 0 1 0 208149564 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/24605/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.21 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.86 CPU time (s): 1800.28 CPU user time (s): 1798.04 CPU system time (s): 2.23566 CPU usage (%): 99.9675 Max. virtual memory (cumulated for all children) (KiB): 1634300 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.04 system time used= 2.23566 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 409976 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= 3101 runsolver used 1.39379 second user time and 3.58345 second system time The end
Begin job on node27 on Mon Apr 30 17:35:37 UTC 2007 IDJOB= 433106 IDBENCH= 2258 IDSOLVER= 199 FILE ID= node27/433106-1177954536 PBS_JOBID= 4727695 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-5.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433106-1177954536/instance-433106-1177954536.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node27/watcher-433106-1177954536 -o ROOT/results/node27/solver-433106-1177954536 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433106-1177954536/instance-433106-1177954536.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 20471e978018d28aed0ca16c46de4e3d RANDOM SEED= 329712074 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node27.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 : 5931.00 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: 1776944 kB Buffers: 32284 kB Cached: 168668 kB SwapCached: 4068 kB Active: 64828 kB Inactive: 145688 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1776944 kB SwapTotal: 4192956 kB SwapFree: 4182924 kB Dirty: 9008 kB Writeback: 0 kB Mapped: 15472 kB Slab: 54464 kB Committed_AS: 2311656 kB PageTables: 1412 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 node27 on Mon Apr 30 18:05:39 UTC 2007