Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | -41 | 1800.27 | 1800.76 |
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.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/353644-1176671743/instance-353644-1176671743.opb 0.00/0.00 c File size is 2294904 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.386 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.90/2.95 c Pre-processing Time: 2.953 s 2.90/2.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.90/2.96 c 0 1272 94226 188452 2 188452 31408 0 0 2.95 2.90/2.96 c Switching off LPR mode. 2.90/2.97 o -36 2.969 2.90/3.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.90/3.00 c 0 1272 94227 189724 2 188490 32408 1 0 2.97 2.90/3.00 o -37 2.996 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.008 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.021 33.18/33.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 33.18/33.21 c 57 1272 94287 263787 2 188725 32408 61 18 3.02 33.18/33.21 c 158 1272 94388 387808 4 188927 35649 162 50 3.10 33.18/33.21 c 408 1272 94638 694806 7 189427 39214 412 123 3.29 33.18/33.21 c 884 1272 95114 1279319 13 190379 43136 888 236 3.74 33.18/33.21 c 1698 1272 95928 2278976 23 192007 47450 1702 359 4.73 33.18/33.21 c 3019 1272 97249 3901582 40 194649 52196 3023 423 7.13 33.18/33.21 c 5100 1272 99330 6457378 65 198811 57416 5104 466 10.93 33.18/33.21 c 8323 1272 102553 10416294 101 205257 63158 8327 432 19.24 33.18/33.21 c 13259 1272 107489 16476591 153 215129 69474 13263 399 33.16 33.18/33.21 o -41 33.197 1800.00/1800.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.00/1800.50 c 13260 1272 107491 16479094 153 215174 32408 13265 399 33.20 1800.00/1800.50 c 13361 1272 107592 16603026 154 215376 35649 13366 401 33.29 1800.00/1800.50 c 13611 1272 107842 16909780 156 215876 39214 13616 405 33.56 1800.00/1800.50 c 14086 1272 108317 17492520 161 216826 43136 14091 413 34.08 1800.00/1800.50 c 14899 1272 109130 18489742 169 218452 47450 14904 424 35.08 1800.00/1800.50 c 16219 1272 110450 20109322 182 221092 52196 16224 437 37.04 1800.00/1800.50 c 18301 1272 112532 22663727 201 225256 57416 18306 454 40.25 1800.00/1800.50 c 21524 1272 115755 26619459 229 231702 63158 21529 414 51.94 1800.00/1800.50 c 26460 1272 120691 32676681 270 241574 69474 26465 394 67.01 1800.00/1800.50 c 33966 1272 128197 41885868 326 256586 76422 33971 389 87.31 1800.00/1800.50 c 45328 1272 139559 55826795 400 279310 84065 45333 349 129.53 1800.00/1800.50 c 62474 1272 156705 76867624 490 313602 92472 62479 242 257.73 1800.00/1800.50 c 88293 1272 182524 108552425 594 365240 101720 88298 137 642.81 1800.00/1800.50 c 127125 1272 130771 45019917 344 261583 111893 36545 107 1180.67 1800.00/1800.50 c Caught signal: 15 1800.00/1800.50 v -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 1800.00/1800.50 v -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 x1241 -x1240 -x1239 1800.00/1800.50 v -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 1800.00/1800.50 v -x1221 -x1220 x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 1800.00/1800.50 v -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 1800.00/1800.50 v -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 1800.00/1800.50 v -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 1800.00/1800.50 v -x1153 x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 1800.00/1800.50 v -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 1800.00/1800.50 v -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 1800.00/1800.50 v -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 x1086 1800.00/1800.50 v -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 x1069 1800.00/1800.50 v -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 1800.00/1800.50 v -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 1800.00/1800.50 v -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 1800.00/1800.50 v -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 x1003 -x1002 -x1001 1800.00/1800.50 v -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 1800.00/1800.50 v -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 x964 -x963 -x962 -x961 -x960 1800.00/1800.50 v -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 1800.00/1800.50 v -x938 x937 -x936 -x935 -x934 -x933 -x932 -x931 x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 1800.00/1800.50 v -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 1800.00/1800.50 v -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 1800.00/1800.50 v -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 1800.00/1800.50 v -x854 -x853 -x852 -x851 -x850 -x849 x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 1800.00/1800.50 v -x833 -x832 -x831 x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 1800.00/1800.50 v -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 1800.00/1800.50 v -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 1800.00/1800.50 v -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 1800.00/1800.50 v -x749 x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 1800.00/1800.50 v -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 1800.00/1800.50 v -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 x690 -x689 -x688 -x687 1800.00/1800.50 v -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 1800.00/1800.50 v x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 1800.00/1800.50 v -x644 x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 1800.00/1800.50 v -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 x606 -x605 -x604 -x603 1800.00/1800.50 v -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 1800.00/1800.50 v -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 1800.00/1800.50 v -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 x540 1800.00/1800.50 v -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 1800.00/1800.50 v -x518 -x517 -x516 x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 1800.00/1800.50 v -x497 -x496 x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 1800.00/1800.50 v -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 x461 -x460 -x459 -x458 -x457 -x456 1800.00/1800.50 v -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 1800.00/1800.50 v -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 1800.00/1800.50 v -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 1800.00/1800.50 v -x392 -x391 -x390 -x389 -x388 x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 1800.00/1800.50 v -x371 -x370 -x369 -x368 x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 x357 -x356 -x355 -x354 -x353 -x352 -x351 1800.00/1800.50 v -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 1800.00/1800.50 v -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 x319 -x318 -x317 -x316 -x315 -x314 -x313 x312 -x311 -x310 -x309 1800.00/1800.50 v -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 1800.00/1800.50 v -x287 -x286 -x285 -x284 -x283 -x282 -x281 x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 1800.00/1800.50 v -x266 -x265 -x264 -x263 -x262 -x261 x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 1800.00/1800.50 v -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 1800.00/1800.50 v -x224 -x223 -x222 -x221 -x220 -x219 -x218 x217 -x216 -x215 -x214 -x213 -x212 -x211 x210 -x209 -x208 -x207 -x206 -x205 -x204 1800.00/1800.50 v -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 1800.00/1800.50 v -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 1800.00/1800.50 v -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 1800.00/1800.50 v -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 1800.00/1800.50 v -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 1800.00/1800.50 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.00/1800.50 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.00/1800.50 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.00/1800.50 v -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 1800.00/1800.50 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.00/1800.50 c 26 171724 18764 196431 175370 99736271 81144 95 1800.01 1800.00/1800.50 c Objective: -41 1800.00/1800.50 s SATISFIABLE 1800.00/1800.50 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/node65/watcher-353644-1176671743 -o ROOT/results/node65/solver-353644-1176671743 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353644-1176671743/instance-353644-1176671743.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.01 1.01 1.00 3/64 12174 /proc/meminfo: memFree=1762592/2055920 swapFree=4183928/4192956 [pid=12174] ppid=12172 vsize=13980 CPUtime=0 /proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 143163923 14315520 336 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 6121083 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12174/statm: 3495 336 281 324 0 2003 0 [startup+0.0464119 s] /proc/loadavg: 1.01 1.01 1.00 3/64 12174 /proc/meminfo: memFree=1762592/2055920 swapFree=4183928/4192956 [pid=12174] ppid=12172 vsize=7276 CPUtime=0.04 /proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 693 0 0 0 4 0 0 0 18 0 1 0 143163923 7450624 661 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 6121083 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12174/statm: 1819 661 341 324 0 327 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 7276 [startup+0.101411 s] /proc/loadavg: 1.01 1.01 1.00 3/64 12174 /proc/meminfo: memFree=1762592/2055920 swapFree=4183928/4192956 [pid=12174] ppid=12172 vsize=8652 CPUtime=0.09 /proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 1110 0 0 0 9 0 0 0 18 0 1 0 143163923 8859648 1078 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12174/statm: 2163 1078 421 324 0 671 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8652 [startup+0.301424 s] /proc/loadavg: 1.01 1.01 1.00 3/64 12174 /proc/meminfo: memFree=1762592/2055920 swapFree=4183928/4192956 [pid=12174] ppid=12172 vsize=13328 CPUtime=0.29 /proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 2583 0 0 0 28 1 0 0 19 0 1 0 143163923 13647872 2551 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 6121083 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12174/statm: 3332 2552 709 324 0 1840 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13328 [startup+0.701457 s] /proc/loadavg: 1.01 1.01 1.00 3/64 12174 /proc/meminfo: memFree=1762592/2055920 swapFree=4183928/4192956 [pid=12174] ppid=12172 vsize=20824 CPUtime=0.69 /proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 5164 0 0 0 66 3 0 0 23 0 1 0 143163923 21323776 4571 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12174/statm: 5206 4571 307 324 0 4275 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 20824 [startup+1.50152 s] /proc/loadavg: 1.01 1.01 1.00 2/65 12175 /proc/meminfo: memFree=1745432/2055920 swapFree=4183928/4192956 [pid=12174] ppid=12172 vsize=20824 CPUtime=1.49 /proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 5164 0 0 0 145 4 0 0 25 0 1 0 143163923 21323776 4571 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12174/statm: 5206 4571 307 324 0 4275 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20824 [startup+3.10166 s] /proc/loadavg: 1.01 1.01 1.00 2/65 12175 /proc/meminfo: memFree=1745304/2055920 swapFree=4183928/4192956 [pid=12174] ppid=12172 vsize=20264 CPUtime=3.1 /proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 6464 0 0 0 300 10 0 0 25 0 1 0 143163923 20750336 4450 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12174/statm: 5066 4450 312 324 0 4135 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 20264 [startup+6.30192 s] /proc/loadavg: 1.09 1.02 1.01 2/65 12175 /proc/meminfo: memFree=1712792/2055920 swapFree=4183928/4192956 [pid=12174] ppid=12172 vsize=60100 CPUtime=6.29 /proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 16422 0 0 0 614 15 0 0 25 0 1 0 143163923 61542400 14408 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12174/statm: 15025 14408 312 324 0 14094 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 60100 [startup+12.7014 s] /proc/loadavg: 1.08 1.02 1.00 2/65 12175 /proc/meminfo: memFree=1654488/2055920 swapFree=4183928/4192956 [pid=12174] ppid=12172 vsize=116784 CPUtime=12.69 /proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 30577 0 0 0 1245 24 0 0 25 0 1 0 143163923 119586816 28563 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134586732 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12174/statm: 29196 28563 312 324 0 28265 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 116784 [startup+25.5025 s] /proc/loadavg: 1.06 1.02 1.00 2/65 12175 /proc/meminfo: memFree=1577368/2055920 swapFree=4183928/4192956 [pid=12174] ppid=12172 vsize=189280 CPUtime=25.49 /proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 48713 0 0 0 2516 33 0 0 25 0 1 0 143163923 193822720 46699 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551271 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12174/statm: 47320 46699 312 324 0 46389 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 189280 [startup+51.1026 s] /proc/loadavg: 1.04 1.02 1.00 2/65 12175 /proc/meminfo: memFree=1412504/2055920 swapFree=4183928/4192956 [pid=12174] ppid=12172 vsize=354020 CPUtime=51.07 /proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 89894 0 0 0 5056 51 0 0 25 0 1 0 143163923 362516480 87880 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12174/statm: 88505 87880 312 324 0 87574 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 354020 [startup+102.306 s] /proc/loadavg: 1.02 1.01 1.00 2/65 12175 /proc/meminfo: memFree=1118744/2055920 swapFree=4183928/4192956 [pid=12174] ppid=12172 vsize=646776 CPUtime=102.26 /proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 163095 0 0 0 10140 86 0 0 25 0 1 0 143163923 662298624 161081 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12174/statm: 161694 161081 312 324 0 160763 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 646776 [startup+162.303 s] /proc/loadavg: 1.00 1.01 1.00 2/65 12175 /proc/meminfo: memFree=905752/2055920 swapFree=4183928/4192956 [pid=12174] ppid=12172 vsize=860084 CPUtime=162.24 /proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 216418 0 0 0 16108 116 0 0 25 0 1 0 143163923 880726016 214404 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12174/statm: 215021 214404 312 324 0 214090 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 860084 [startup+222.303 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12175 /proc/meminfo: memFree=808664/2055920 swapFree=4183928/4192956 [pid=12174] ppid=12172 vsize=955628 CPUtime=222.23 /proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 240313 0 0 0 22093 130 0 0 25 0 1 0 143163923 978563072 238299 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12174/statm: 238907 238299 312 324 0 237976 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 955628 [startup+282.303 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12175 /proc/meminfo: memFree=708312/2055920 swapFree=4183928/4192956 [pid=12174] ppid=12172 vsize=1056456 CPUtime=282.21 /proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 265512 0 0 0 28079 142 0 0 25 0 1 0 143163923 1081810944 263498 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12174/statm: 264114 263498 312 324 0 263183 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 1056456 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12175 /proc/meminfo: memFree=612824/2055920 swapFree=4183928/4192956 [pid=12174] ppid=12172 vsize=1151256 CPUtime=342.19 /proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 289195 0 0 0 34063 156 0 0 25 0 1 0 143163923 1178886144 287181 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12174/statm: 287814 287181 312 324 0 286883 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 1151256 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12175 /proc/meminfo: memFree=547288/2055920 swapFree=4183928/4192956 [pid=12174] ppid=12172 vsize=1216920 CPUtime=402.17 /proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 305631 0 0 0 40051 166 0 0 25 0 1 0 143163923 1246126080 303617 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12174/statm: 304230 303617 312 324 0 303299 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 1216920 [startup+462.302 s] /proc/loadavg: 1.07 1.02 1.00 2/65 12175 /proc/meminfo: memFree=492888/2055920 swapFree=4183928/4192956 [pid=12174] ppid=12172 vsize=1271168 CPUtime=462.16 /proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 319176 0 0 0 46043 173 0 0 25 0 1 0 143163923 1301676032 317162 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12174/statm: 317792 317162 312 324 0 316861 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 1271168 [startup+522.302 s] /proc/loadavg: 1.08 1.03 1.00 2/65 12175 /proc/meminfo: memFree=447256/2055920 swapFree=4183928/4192956 [pid=12174] ppid=12172 vsize=1316992 CPUtime=522.14 /proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 330634 0 0 0 52034 180 0 0 25 0 1 0 143163923 1348599808 328620 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12174/statm: 329248 328620 312 324 0 328317 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 1316992 [startup+582.302 s] /proc/loadavg: 1.08 1.04 1.00 2/65 12175 /proc/meminfo: memFree=404824/2055920 swapFree=4183928/4192956 [pid=12174] ppid=12172 vsize=1358928 CPUtime=582.13 /proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 341117 0 0 0 58027 186 0 0 25 0 1 0 143163923 1391542272 339103 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12174/statm: 339732 339103 312 324 0 338801 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 1358928 [startup+642.302 s] /proc/loadavg: 1.03 1.03 1.00 2/65 12175 /proc/meminfo: memFree=359704/2055920 swapFree=4183928/4192956 [pid=12174] ppid=12172 vsize=1403488 CPUtime=642.12 /proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 352258 0 0 0 64020 192 0 0 25 0 1 0 143163923 1437171712 350244 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551000 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12174/statm: 350872 350244 312 324 0 349941 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 1403488 ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12175 /proc/meminfo: memFree=128856/2055920 swapFree=4183928/4192956 [pid=12174] ppid=12172 vsize=1633896 CPUtime=942.03 /proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 409976 0 0 0 93979 224 0 0 25 0 1 0 143163923 1673109504 407861 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12174/statm: 408474 407861 312 324 0 407543 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 1633896 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12175 /proc/meminfo: memFree=128920/2055920 swapFree=4183928/4192956 [pid=12174] ppid=12172 vsize=1633896 CPUtime=1002.02 /proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 409976 0 0 0 99975 227 0 0 25 0 1 0 143163923 1673109504 407861 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12174/statm: 408474 407861 312 324 0 407543 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 1633896 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12175 /proc/meminfo: memFree=128856/2055920 swapFree=4183928/4192956 [pid=12174] ppid=12172 vsize=1633896 CPUtime=1062 /proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 409976 0 0 0 105972 228 0 0 25 0 1 0 143163923 1673109504 407861 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12174/statm: 408474 407861 312 324 0 407543 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 1633896 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12175 /proc/meminfo: memFree=128856/2055920 swapFree=4183928/4192956 [pid=12174] ppid=12172 vsize=1633896 CPUtime=1121.98 /proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 409976 0 0 0 111969 229 0 0 25 0 1 0 143163923 1673109504 407861 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551513 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12174/statm: 408474 407861 312 324 0 407543 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 1633896 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12175 /proc/meminfo: memFree=128856/2055920 swapFree=4183928/4192956 [pid=12174] ppid=12172 vsize=1633896 CPUtime=1181.97 /proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 409976 0 0 0 117966 231 0 0 25 0 1 0 143163923 1673109504 407861 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12174/statm: 408474 407861 312 324 0 407543 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 1633896 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12175 /proc/meminfo: memFree=128856/2055920 swapFree=4183928/4192956 [pid=12174] ppid=12172 vsize=1633896 CPUtime=1241.95 /proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 409976 0 0 0 123961 234 0 0 25 0 1 0 143163923 1673109504 407861 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12174/statm: 408474 407861 312 324 0 407543 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 1633896 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12175 /proc/meminfo: memFree=128792/2055920 swapFree=4183928/4192956 [pid=12174] ppid=12172 vsize=1633896 CPUtime=1301.94 /proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 409976 0 0 0 129959 235 0 0 25 0 1 0 143163923 1673109504 407861 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12174/statm: 408474 407861 312 324 0 407543 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 1633896 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12175 /proc/meminfo: memFree=128856/2055920 swapFree=4183928/4192956 [pid=12174] ppid=12172 vsize=1633896 CPUtime=1361.92 /proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 409976 0 0 0 135956 236 0 0 25 0 1 0 143163923 1673109504 407861 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12174/statm: 408474 407861 312 324 0 407543 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 1633896 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12177 /proc/meminfo: memFree=128856/2055920 swapFree=4183928/4192956 [pid=12174] ppid=12172 vsize=1633896 CPUtime=1421.91 /proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 409976 0 0 0 141953 238 0 0 25 0 1 0 143163923 1673109504 407861 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12174/statm: 408474 407861 312 324 0 407543 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 1633896 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12177 /proc/meminfo: memFree=128792/2055920 swapFree=4183928/4192956 [pid=12174] ppid=12172 vsize=1633896 CPUtime=1481.89 /proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 409976 0 0 0 147950 239 0 0 25 0 1 0 143163923 1673109504 407861 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551504 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12174/statm: 408474 407861 312 324 0 407543 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 1633896 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12177 /proc/meminfo: memFree=128856/2055920 swapFree=4183928/4192956 [pid=12174] ppid=12172 vsize=1633896 CPUtime=1541.87 /proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 409976 0 0 0 153948 239 0 0 25 0 1 0 143163923 1673109504 407861 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12174/statm: 408474 407861 312 324 0 407543 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 1633896 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12177 /proc/meminfo: memFree=128792/2055920 swapFree=4183928/4192956 [pid=12174] ppid=12172 vsize=1633896 CPUtime=1601.86 /proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 409976 0 0 0 159946 240 0 0 25 0 1 0 143163923 1673109504 407861 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12174/statm: 408474 407861 312 324 0 407543 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 1633896 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12177 /proc/meminfo: memFree=128792/2055920 swapFree=4183928/4192956 [pid=12174] ppid=12172 vsize=1633896 CPUtime=1661.84 /proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 409976 0 0 0 165943 241 0 0 25 0 1 0 143163923 1673109504 407861 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12174/statm: 408474 407861 312 324 0 407543 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 1633896 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12177 /proc/meminfo: memFree=128728/2055920 swapFree=4183928/4192956 [pid=12174] ppid=12172 vsize=1633896 CPUtime=1721.82 /proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 409976 0 0 0 171941 241 0 0 25 0 1 0 143163923 1673109504 407861 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12174/statm: 408474 407861 312 324 0 407543 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 1633896 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12177 /proc/meminfo: memFree=128792/2055920 swapFree=4183928/4192956 [pid=12174] ppid=12172 vsize=1633896 CPUtime=1781.81 /proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 409976 0 0 0 177939 242 0 0 25 0 1 0 143163923 1673109504 407861 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12174/statm: 408474 407861 312 324 0 407543 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 1633896 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12177 /proc/meminfo: memFree=128792/2055920 swapFree=4183928/4192956 [pid=12174] ppid=12172 vsize=1633896 CPUtime=1800 /proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 409976 0 0 0 179758 242 0 0 25 0 1 0 143163923 1673109504 407861 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12174/statm: 408474 407861 312 324 0 407543 0 Current children cumulated CPU time (s) 1800 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.61 s] /proc/loadavg: 1.00 1.00 1.00 2/66 12178 /proc/meminfo: memFree=754072/2055920 swapFree=4183928/4192956 [pid=12174] ppid=12172 vsize=0 CPUtime=1800.1 /proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194308 409977 0 0 0 179758 252 0 0 25 0 1 0 143163923 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/12174/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 0 [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/66 12178 /proc/meminfo: memFree=754072/2055920 swapFree=4183928/4192956 [pid=12174] ppid=12172 vsize=0 CPUtime=1800.2 /proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194308 409977 0 0 0 179758 262 0 0 25 0 1 0 143163923 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/12174/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.2 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.76 CPU time (s): 1800.27 CPU user time (s): 1797.59 CPU system time (s): 2.67959 CPU usage (%): 99.9727 Max. virtual memory (cumulated for all children) (KiB): 1634300 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.59 system time used= 2.67959 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 409977 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= 3574 runsolver used 1.15182 second user time and 3.77842 second system time The end
Begin job on node65 on Sun Apr 15 21:15:43 UTC 2007 IDJOB= 353644 IDBENCH= 2258 IDSOLVER= 163 FILE ID= node65/353644-1176671743 PBS_JOBID= 4559912 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-5.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353644-1176671743/instance-353644-1176671743.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node65/watcher-353644-1176671743 -o ROOT/results/node65/solver-353644-1176671743 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353644-1176671743/instance-353644-1176671743.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 20471e978018d28aed0ca16c46de4e3d RANDOM SEED= 976500682 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node65.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.245 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.245 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: 1763064 kB Buffers: 53992 kB Cached: 160216 kB SwapCached: 2984 kB Active: 126808 kB Inactive: 105248 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1763064 kB SwapTotal: 4192956 kB SwapFree: 4183928 kB Dirty: 6628 kB Writeback: 0 kB Mapped: 22692 kB Slab: 46764 kB Committed_AS: 2161588 kB PageTables: 1480 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 node65 on Sun Apr 15 21:45:46 UTC 2007