Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | -40 | 1800.28 | 1800.79 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb |
MD5SUM | 604c6b786f56b09c749bc0d6b7c8f76d |
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.11 |
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 | 94227 |
Number of constraints which are clauses | 94227 |
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/353657-1176672097/instance-353657-1176672097.opb 0.00/0.00 c File size is 2298943 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.378 s 0.39/0.41 c Var: 1272 Constr: 94227 94227/0/0 Lit: 188454 Watch. Lit: 188454 0.39/0.41 c Obj. Vars: 1272 (100 % of total variables) 3.08/3.15 c Pre-processing Time: 3.15 s 3.08/3.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.08/3.15 c 0 1272 94227 188454 2 188454 31409 0 0 3.15 3.08/3.15 c Switching off LPR mode. 3.08/3.17 o -36 3.166 3.19/3.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.19/3.23 c 0 1272 94228 189726 2 188492 32409 1 0 3.17 3.19/3.23 c 101 1272 94329 314282 3 188694 35650 102 31 3.23 3.19/3.23 o -38 3.235 3.29/3.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.29/3.32 c 101 1272 94330 315554 3 188734 32409 103 31 3.24 3.29/3.32 c 202 1272 94431 439919 4 188936 35650 204 61 3.31 3.29/3.32 o -39 3.318 3.29/3.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.29/3.37 c 210 1272 94440 451038 4 188993 32409 213 63 3.32 3.29/3.37 o -40 3.364 1799.98/1800.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.98/1800.53 c 271 1272 94502 527350 5 189157 32409 275 80 3.37 1799.98/1800.53 c 372 1272 94603 651398 6 189359 35650 376 108 3.44 1799.98/1800.53 c 623 1272 94854 959756 10 189861 39216 627 171 3.64 1799.98/1800.53 c 1099 1272 95330 1544794 16 190813 43138 1103 269 4.08 1799.98/1800.53 c 1912 1272 96143 2543949 26 192439 47452 1916 398 4.79 1799.98/1800.53 c 3233 1272 97464 4166793 42 195081 52198 3237 475 6.79 1799.98/1800.53 c 5314 1272 99545 6721924 67 199243 57418 5318 472 11.24 1799.98/1800.53 c 8538 1272 102769 10683998 103 205691 63160 8542 447 19.10 1799.98/1800.53 c 13474 1272 107705 16748517 155 215563 69477 13478 475 28.35 1799.98/1800.53 c 20981 1272 115212 25969452 225 230577 76425 20985 432 48.48 1799.98/1800.53 c 32343 1272 126574 39926077 315 253301 84068 32347 276 117.04 1799.98/1800.53 c 49487 1272 143718 60985935 424 287589 92475 49491 187 264.22 1799.98/1800.53 c 75306 1272 169537 92686117 546 339227 101723 75310 100 748.87 1799.98/1800.53 c 114139 1272 118155 29563488 250 236350 111896 23928 76 1487.07 1799.98/1800.53 c Resources Exceeded 1799.98/1800.53 v -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 1799.98/1800.53 v -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 1799.98/1800.53 v x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 1799.98/1800.53 v -x1221 -x1220 x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 1799.98/1800.53 v -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 1799.98/1800.53 v -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 x1176 -x1175 -x1174 -x1173 -x1172 -x1171 1799.98/1800.53 v -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 1799.98/1800.53 v -x1153 -x1152 -x1151 x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 1799.98/1800.53 v -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 1799.98/1800.53 v -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 1799.98/1800.53 v -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 1799.98/1800.53 v -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 x1072 -x1071 -x1070 -x1069 1799.98/1800.53 v -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 x1052 1799.98/1800.53 v -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 1799.98/1800.53 v -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 1799.98/1800.53 v -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 x1004 -x1003 -x1002 -x1001 1799.98/1800.53 v -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 1799.98/1800.53 v -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 x961 -x960 1799.98/1800.53 v -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 1799.98/1800.53 v -x938 x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 1799.98/1800.53 v -x917 -x916 x915 -x914 -x913 -x912 x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 1799.98/1800.53 v -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 1799.98/1800.53 v x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 1799.98/1800.53 v -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 1799.98/1800.53 v -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 1799.98/1800.53 v -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 1799.98/1800.53 v -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 x775 -x774 -x773 -x772 -x771 1799.98/1800.53 v -x770 -x769 -x768 -x767 -x766 x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 1799.98/1800.53 v -x749 -x748 -x747 -x746 -x745 -x744 x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 1799.98/1800.53 v -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 1799.98/1800.53 v -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 1799.98/1800.53 v -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 1799.98/1800.53 v -x665 -x664 -x663 -x662 -x661 x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 1799.98/1800.53 v -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 1799.98/1800.53 v -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 1799.98/1800.53 v -x602 -x601 -x600 x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 1799.98/1800.53 v -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 1799.98/1800.53 v -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 1799.98/1800.53 v -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 1799.98/1800.53 v -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 1799.98/1800.53 v -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 1799.98/1800.53 v -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 1799.98/1800.53 v -x455 -x454 -x453 -x452 x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 1799.98/1800.53 v -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 x414 1799.98/1800.53 v -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 1799.98/1800.53 v -x392 -x391 -x390 -x389 x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 1799.98/1800.53 v -x371 -x370 x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 1799.98/1800.53 v -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 x337 -x336 -x335 x334 -x333 -x332 -x331 -x330 1799.98/1800.53 v -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 1799.98/1800.53 v -x308 -x307 -x306 -x305 x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 1799.98/1800.53 v -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 1799.98/1800.53 v -x266 -x265 -x264 -x263 -x262 -x261 x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 1799.98/1800.53 v -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 x230 -x229 -x228 -x227 -x226 -x225 1799.98/1800.53 v -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 1799.98/1800.53 v -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 x185 -x184 -x183 1799.98/1800.53 v -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 1799.98/1800.53 v -x161 -x160 -x159 -x158 -x157 -x156 x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 1799.98/1800.53 v -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 1799.98/1800.53 v -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 1799.98/1800.53 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 1799.98/1800.53 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 1799.98/1800.53 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 1799.98/1800.53 v -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 1799.98/1800.53 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.98/1800.53 c 19 146938 17827 170782 150954 69846435 56727 81 1800.03 1799.98/1800.53 c Objective: -40 1799.98/1800.53 s SATISFIABLE 1799.98/1800.53 c Total time: 1800.03 s
OK -40
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node60/watcher-353657-1176672097 -o ROOT/results/node60/solver-353657-1176672097 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353657-1176672097/instance-353657-1176672097.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: 1.00 1.00 1.00 3/64 29325 /proc/meminfo: memFree=1806064/2055920 swapFree=4184868/4192956 [pid=29325] ppid=29323 vsize=13984 CPUtime=0 /proc/29325/stat : 29325 (bsolo3.0.16) R 29323 29325 32420 0 -1 4194304 368 0 0 0 0 0 0 0 18 0 1 0 115119674 14319616 336 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29325/statm: 3496 336 281 324 0 2003 0 [startup+0.0596461 s] /proc/loadavg: 1.00 1.00 1.00 3/64 29325 /proc/meminfo: memFree=1806064/2055920 swapFree=4184868/4192956 [pid=29325] ppid=29323 vsize=7560 CPUtime=0.05 /proc/29325/stat : 29325 (bsolo3.0.16) R 29323 29325 32420 0 -1 4194304 804 0 0 0 5 0 0 0 18 0 1 0 115119674 7741440 772 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29325/statm: 1890 772 362 324 0 397 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 7560 [startup+0.101649 s] /proc/loadavg: 1.00 1.00 1.00 3/64 29325 /proc/meminfo: memFree=1806064/2055920 swapFree=4184868/4192956 [pid=29325] ppid=29323 vsize=8660 CPUtime=0.09 /proc/29325/stat : 29325 (bsolo3.0.16) R 29323 29325 32420 0 -1 4194304 1130 0 0 0 9 0 0 0 18 0 1 0 115119674 8867840 1098 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29325/statm: 2165 1098 426 324 0 672 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8660 [startup+0.301668 s] /proc/loadavg: 1.00 1.00 1.00 3/64 29325 /proc/meminfo: memFree=1806064/2055920 swapFree=4184868/4192956 [pid=29325] ppid=29323 vsize=13472 CPUtime=0.29 /proc/29325/stat : 29325 (bsolo3.0.16) R 29323 29325 32420 0 -1 4194304 2633 0 0 0 28 1 0 0 19 0 1 0 115119674 13795328 2602 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29325/statm: 3368 2602 720 324 0 1875 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13472 [startup+0.701708 s] /proc/loadavg: 1.00 1.00 1.00 3/64 29325 /proc/meminfo: memFree=1806064/2055920 swapFree=4184868/4192956 [pid=29325] ppid=29323 vsize=20824 CPUtime=0.69 /proc/29325/stat : 29325 (bsolo3.0.16) R 29323 29325 32420 0 -1 4194304 5165 0 0 0 66 3 0 0 22 0 1 0 115119674 21323776 4571 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29325/statm: 5206 4571 307 324 0 4275 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 20824 [startup+1.50179 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29326 /proc/meminfo: memFree=1788904/2055920 swapFree=4184868/4192956 [pid=29325] ppid=29323 vsize=20824 CPUtime=1.49 /proc/29325/stat : 29325 (bsolo3.0.16) R 29323 29325 32420 0 -1 4194304 5165 0 0 0 144 5 0 0 25 0 1 0 115119674 21323776 4571 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29325/statm: 5206 4571 307 324 0 4275 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20824 [startup+3.10194 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29326 /proc/meminfo: memFree=1788776/2055920 swapFree=4184868/4192956 [pid=29325] ppid=29323 vsize=20824 CPUtime=3.08 /proc/29325/stat : 29325 (bsolo3.0.16) R 29323 29325 32420 0 -1 4194304 5165 0 0 0 301 7 0 0 25 0 1 0 115119674 21323776 4571 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5963900 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29325/statm: 5206 4571 307 324 0 4275 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 20824 [startup+6.30126 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29326 /proc/meminfo: memFree=1754040/2055920 swapFree=4184868/4192956 [pid=29325] ppid=29323 vsize=65036 CPUtime=6.28 /proc/29325/stat : 29325 (bsolo3.0.16) R 29323 29325 32420 0 -1 4194304 17652 0 0 0 616 12 0 0 25 0 1 0 115119674 66596864 15637 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29325/statm: 16259 15637 312 324 0 15328 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 65036 [startup+12.7019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29326 /proc/meminfo: memFree=1696456/2055920 swapFree=4184868/4192956 [pid=29325] ppid=29323 vsize=119452 CPUtime=12.69 /proc/29325/stat : 29325 (bsolo3.0.16) R 29323 29325 32420 0 -1 4194304 31261 0 0 0 1250 19 0 0 25 0 1 0 115119674 122318848 29246 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29325/statm: 29863 29246 312 324 0 28932 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 119452 [startup+25.5011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29326 /proc/meminfo: memFree=1603848/2055920 swapFree=4184868/4192956 [pid=29325] ppid=29323 vsize=207584 CPUtime=25.48 /proc/29325/stat : 29325 (bsolo3.0.16) R 29323 29325 32420 0 -1 4194304 53283 0 0 0 2519 29 0 0 25 0 1 0 115119674 212566016 51268 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134586732 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29325/statm: 51896 51268 312 324 0 50965 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 207584 [startup+51.1017 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29326 /proc/meminfo: memFree=1455176/2055920 swapFree=4184868/4192956 [pid=29325] ppid=29323 vsize=355268 CPUtime=51.07 /proc/29325/stat : 29325 (bsolo3.0.16) R 29323 29325 32420 0 -1 4194304 90215 0 0 0 5060 47 0 0 25 0 1 0 115119674 363794432 88200 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29325/statm: 88817 88200 312 324 0 87886 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 355268 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29326 /proc/meminfo: memFree=1323848/2055920 swapFree=4184868/4192956 [pid=29325] ppid=29323 vsize=485476 CPUtime=102.26 /proc/29325/stat : 29325 (bsolo3.0.16) R 29323 29325 32420 0 -1 4194304 122759 0 0 0 10162 64 0 0 25 0 1 0 115119674 497127424 120744 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29325/statm: 121369 120744 312 324 0 120438 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 485476 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29326 /proc/meminfo: memFree=1134856/2055920 swapFree=4184868/4192956 [pid=29325] ppid=29323 vsize=674272 CPUtime=162.24 /proc/29325/stat : 29325 (bsolo3.0.16) R 29323 29325 32420 0 -1 4194304 169950 0 0 0 16136 88 0 0 25 0 1 0 115119674 690454528 167935 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29325/statm: 168568 167935 312 324 0 167637 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 674272 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29326 /proc/meminfo: memFree=1079496/2055920 swapFree=4184868/4192956 [pid=29325] ppid=29323 vsize=728932 CPUtime=222.22 /proc/29325/stat : 29325 (bsolo3.0.16) R 29323 29325 32420 0 -1 4194304 183619 0 0 0 22126 96 0 0 25 0 1 0 115119674 746426368 181604 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551263 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29325/statm: 182233 181604 312 324 0 181302 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 728932 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29326 /proc/meminfo: memFree=997512/2055920 swapFree=4184868/4192956 [pid=29325] ppid=29323 vsize=811128 CPUtime=282.2 /proc/29325/stat : 29325 (bsolo3.0.16) R 29323 29325 32420 0 -1 4194304 204180 0 0 0 28113 107 0 0 25 0 1 0 115119674 830595072 202165 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29325/statm: 202782 202165 312 324 0 201851 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 811128 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29326 /proc/meminfo: memFree=943624/2055920 swapFree=4184868/4192956 [pid=29325] ppid=29323 vsize=864636 CPUtime=342.19 /proc/29325/stat : 29325 (bsolo3.0.16) R 29323 29325 32420 0 -1 4194304 217545 0 0 0 34104 115 0 0 25 0 1 0 115119674 885387264 215530 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29325/statm: 216159 215530 312 324 0 215228 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 864636 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29326 /proc/meminfo: memFree=899400/2055920 swapFree=4184868/4192956 [pid=29325] ppid=29323 vsize=908976 CPUtime=402.17 /proc/29325/stat : 29325 (bsolo3.0.16) R 29323 29325 32420 0 -1 4194304 228634 0 0 0 40096 121 0 0 25 0 1 0 115119674 930791424 226619 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29325/statm: 227244 226619 312 324 0 226313 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 908976 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29326 /proc/meminfo: memFree=846728/2055920 swapFree=4184868/4192956 [pid=29325] ppid=29323 vsize=961356 CPUtime=462.16 /proc/29325/stat : 29325 (bsolo3.0.16) R 29323 29325 32420 0 -1 4194304 241729 0 0 0 46086 130 0 0 25 0 1 0 115119674 984428544 239714 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29325/statm: 240339 239714 312 324 0 239408 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 961356 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29326 /proc/meminfo: memFree=802504/2055920 swapFree=4184868/4192956 [pid=29325] ppid=29323 vsize=1005952 CPUtime=522.13 /proc/29325/stat : 29325 (bsolo3.0.16) R 29323 29325 32420 0 -1 4194304 252887 0 0 0 52078 135 0 0 25 0 1 0 115119674 1030094848 250872 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29325/statm: 251488 250872 312 324 0 250557 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 1005952 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29326 /proc/meminfo: memFree=749256/2055920 swapFree=4184868/4192956 [pid=29325] ppid=29323 vsize=1058724 CPUtime=582.12 /proc/29325/stat : 29325 (bsolo3.0.16) R 29323 29325 32420 0 -1 4194304 266063 0 0 0 58069 143 0 0 25 0 1 0 115119674 1084133376 264048 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160091718 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29325/statm: 264681 264048 312 324 0 263750 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 1058724 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29326 /proc/meminfo: memFree=697096/2055920 swapFree=4184868/4192956 [pid=29325] ppid=29323 vsize=1110352 CPUtime=642.11 /proc/29325/stat : 29325 (bsolo3.0.16) R 29323 29325 32420 0 -1 4194304 278974 0 0 0 64059 152 0 0 25 0 1 0 115119674 1137000448 276959 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29325/statm: 277588 276959 312 324 0 276657 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 1110352 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29326 /proc/meminfo: memFree=406600/2055920 swapFree=4184868/4192956 [pid=29325] ppid=29323 vsize=1400316 CPUtime=882.04 /proc/29325/stat : 29325 (bsolo3.0.16) R 29323 29325 32420 0 -1 4194304 351476 0 0 0 88014 190 0 0 25 0 1 0 115119674 1433923584 349461 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29325/statm: 350079 349461 312 324 0 349148 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 1400316 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29326 /proc/meminfo: memFree=353352/2055920 swapFree=4184868/4192956 [pid=29325] ppid=29323 vsize=1453952 CPUtime=942.02 /proc/29325/stat : 29325 (bsolo3.0.16) R 29323 29325 32420 0 -1 4194304 364887 0 0 0 94004 198 0 0 25 0 1 0 115119674 1488846848 362872 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29325/statm: 363488 362872 312 324 0 362557 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 1453952 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29326 /proc/meminfo: memFree=300040/2055920 swapFree=4184868/4192956 [pid=29325] ppid=29323 vsize=1506956 CPUtime=1002.01 /proc/29325/stat : 29325 (bsolo3.0.16) R 29323 29325 32420 0 -1 4194304 378130 0 0 0 99995 206 0 0 25 0 1 0 115119674 1543122944 376115 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29325/statm: 376739 376115 312 324 0 375808 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 1506956 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29328 /proc/meminfo: memFree=257800/2055920 swapFree=4184868/4192956 [pid=29325] ppid=29323 vsize=1549032 CPUtime=1061.99 /proc/29325/stat : 29325 (bsolo3.0.16) R 29323 29325 32420 0 -1 4194304 388660 0 0 0 105988 211 0 0 25 0 1 0 115119674 1586208768 386645 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29325/statm: 387258 386645 312 324 0 386327 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 1549032 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29328 /proc/meminfo: memFree=221384/2055920 swapFree=4184868/4192956 [pid=29325] ppid=29323 vsize=1585200 CPUtime=1121.97 /proc/29325/stat : 29325 (bsolo3.0.16) R 29323 29325 32420 0 -1 4194304 397691 0 0 0 111981 216 0 0 25 0 1 0 115119674 1623244800 395676 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29325/statm: 396300 395676 312 324 0 395369 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 1585200 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29328 /proc/meminfo: memFree=184712/2055920 swapFree=4184868/4192956 [pid=29325] ppid=29323 vsize=1622256 CPUtime=1181.95 /proc/29325/stat : 29325 (bsolo3.0.16) R 29323 29325 32420 0 -1 4194304 406955 0 0 0 117974 221 0 0 25 0 1 0 115119674 1661190144 404940 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29325/statm: 405564 404940 312 324 0 404633 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 1622256 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29328 /proc/meminfo: memFree=170888/2055920 swapFree=4184868/4192956 [pid=29325] ppid=29323 vsize=1635328 CPUtime=1241.95 /proc/29325/stat : 29325 (bsolo3.0.16) R 29323 29325 32420 0 -1 4194304 410319 0 0 0 123971 224 0 0 25 0 1 0 115119674 1674575872 408203 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29325/statm: 408832 408203 312 324 0 407901 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 1635328 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29328 /proc/meminfo: memFree=170888/2055920 swapFree=4184868/4192956 [pid=29325] ppid=29323 vsize=1635328 CPUtime=1301.93 /proc/29325/stat : 29325 (bsolo3.0.16) R 29323 29325 32420 0 -1 4194304 410319 0 0 0 129969 224 0 0 25 0 1 0 115119674 1674575872 408203 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29325/statm: 408832 408203 312 324 0 407901 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 1635328 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29328 /proc/meminfo: memFree=170888/2055920 swapFree=4184868/4192956 [pid=29325] ppid=29323 vsize=1635328 CPUtime=1361.91 /proc/29325/stat : 29325 (bsolo3.0.16) R 29323 29325 32420 0 -1 4194304 410319 0 0 0 135967 224 0 0 25 0 1 0 115119674 1674575872 408203 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29325/statm: 408832 408203 312 324 0 407901 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 1635328 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29328 /proc/meminfo: memFree=170888/2055920 swapFree=4184868/4192956 [pid=29325] ppid=29323 vsize=1635328 CPUtime=1421.89 /proc/29325/stat : 29325 (bsolo3.0.16) R 29323 29325 32420 0 -1 4194304 410319 0 0 0 141964 225 0 0 25 0 1 0 115119674 1674575872 408203 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29325/statm: 408832 408203 312 324 0 407901 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 1635328 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29328 /proc/meminfo: memFree=170888/2055920 swapFree=4184868/4192956 [pid=29325] ppid=29323 vsize=1635328 CPUtime=1481.87 /proc/29325/stat : 29325 (bsolo3.0.16) R 29323 29325 32420 0 -1 4194304 410319 0 0 0 147961 226 0 0 25 0 1 0 115119674 1674575872 408203 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5967604 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29325/statm: 408832 408203 312 324 0 407901 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 1635328 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29328 /proc/meminfo: memFree=171080/2055920 swapFree=4184868/4192956 [pid=29325] ppid=29323 vsize=1635328 CPUtime=1541.86 /proc/29325/stat : 29325 (bsolo3.0.16) R 29323 29325 32420 0 -1 4194304 410319 0 0 0 153958 228 0 0 25 0 1 0 115119674 1674575872 408203 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29325/statm: 408832 408203 312 324 0 407901 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 1635328 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29328 /proc/meminfo: memFree=171144/2055920 swapFree=4184868/4192956 [pid=29325] ppid=29323 vsize=1635328 CPUtime=1601.84 /proc/29325/stat : 29325 (bsolo3.0.16) R 29323 29325 32420 0 -1 4194304 410319 0 0 0 159954 230 0 0 25 0 1 0 115119674 1674575872 408203 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29325/statm: 408832 408203 312 324 0 407901 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 1635328 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29328 /proc/meminfo: memFree=171080/2055920 swapFree=4184868/4192956 [pid=29325] ppid=29323 vsize=1635328 CPUtime=1661.83 /proc/29325/stat : 29325 (bsolo3.0.16) R 29323 29325 32420 0 -1 4194304 410319 0 0 0 165951 232 0 0 25 0 1 0 115119674 1674575872 408203 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29325/statm: 408832 408203 312 324 0 407901 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 1635328 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29328 /proc/meminfo: memFree=171080/2055920 swapFree=4184868/4192956 [pid=29325] ppid=29323 vsize=1635328 CPUtime=1721.81 /proc/29325/stat : 29325 (bsolo3.0.16) R 29323 29325 32420 0 -1 4194304 410319 0 0 0 171948 233 0 0 25 0 1 0 115119674 1674575872 408203 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29325/statm: 408832 408203 312 324 0 407901 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 1635328 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29328 /proc/meminfo: memFree=171080/2055920 swapFree=4184868/4192956 [pid=29325] ppid=29323 vsize=1635328 CPUtime=1781.79 /proc/29325/stat : 29325 (bsolo3.0.16) R 29323 29325 32420 0 -1 4194304 410319 0 0 0 177945 234 0 0 25 0 1 0 115119674 1674575872 408203 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29325/statm: 408832 408203 312 324 0 407901 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 1635328 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29328 /proc/meminfo: memFree=626504/2055920 swapFree=4184868/4192956 [pid=29325] ppid=29323 vsize=0 CPUtime=1800.1 /proc/29325/stat : 29325 (bsolo3.0.16) R 29323 29325 32420 0 -1 4194308 410320 0 0 0 179768 242 0 0 25 0 1 0 115119674 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29325/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 0 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29328 /proc/meminfo: memFree=626504/2055920 swapFree=4184868/4192956 [pid=29325] ppid=29323 vsize=0 CPUtime=1800.2 /proc/29325/stat : 29325 (bsolo3.0.16) R 29323 29325 32420 0 -1 4194308 410320 0 0 0 179768 252 0 0 25 0 1 0 115119674 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29325/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.2 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.79 CPU time (s): 1800.28 CPU user time (s): 1797.68 CPU system time (s): 2.6016 CPU usage (%): 99.9719 Max. virtual memory (cumulated for all children) (KiB): 1635732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.68 system time used= 2.6016 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 410320 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= 2455 runsolver used 1.36879 second user time and 3.57646 second system time The end
Begin job on node60 on Sun Apr 15 21:21:37 UTC 2007 IDJOB= 353657 IDBENCH= 2259 IDSOLVER= 163 FILE ID= node60/353657-1176672097 PBS_JOBID= 4559930 Free space on /tmp= 66557 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353657-1176672097/instance-353657-1176672097.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node60/watcher-353657-1176672097 -o ROOT/results/node60/solver-353657-1176672097 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353657-1176672097/instance-353657-1176672097.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 604c6b786f56b09c749bc0d6b7c8f76d RANDOM SEED= 572479110 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node60.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.214 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.214 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: 1806472 kB Buffers: 34004 kB Cached: 131524 kB SwapCached: 1956 kB Active: 85708 kB Inactive: 93504 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1806472 kB SwapTotal: 4192956 kB SwapFree: 4184868 kB Dirty: 6632 kB Writeback: 0 kB Mapped: 20328 kB Slab: 56244 kB Committed_AS: 1036824 kB PageTables: 1476 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66557 MiB End job on node60 on Sun Apr 15 21:51:40 UTC 2007