Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | SAT | -7 | 1798.04 | 1798.49 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_25_4.opb |
MD5SUM | 0c3fb28b3ecb8f1eba2bffa356ef5364 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -7 |
Best CPU time to get the best result obtained on this benchmark | 564.629 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -7 |
Optimality of the best value was proved | YES |
Number of variables | 100 |
Total number of constraints | 151 |
Number of constraints which are clauses | 50 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 101 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 100 |
Number of terms in the objective function | 50 |
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 | 50 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 100 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 2932 |
Sum of products size (including duplicates) | 5864 |
Number of different products | 1466 |
Sum of products size | 2932 |
0.00/0.00 c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos 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 Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2671085-1276718086.opb 0.00/0.00 c File size is 117803 bytes. 0.00/0.02 c Highest Coefficient sum: 100 0.00/0.02 c Parsing was ok!! 0.00/0.02 c Total parsing time: 0.021 s 0.00/0.02 c Var: 1566 Constr: 3084 1516/102/1466 Lit: 12028 Watch. Lit: 10464 0.00/0.02 c Obj. Vars: 50 (3.19285 % of total variables) 1.39/1.40 c Pre-processing Time: 1.404 s 1.39/1.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.40 c 0 1566 3084 12028 3 10464 39303 0 0 1.40 1.39/1.40 c Switching off lower bounding mode. 1.39/1.40 o -1 1.39/1.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.41 c 0 1566 3085 12078 3 10467 39337 1 0 1.41 1.39/1.41 o -2 1.39/1.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.41 c 4 1566 3091 12372 4 10482 39353 7 2 1.41 1.39/1.41 o -3 1.39/1.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.42 c 41 1566 3130 13022 4 10565 39370 46 28 1.41 1.39/1.42 o -4 1.39/1.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.46 c 89 1566 3180 14967 4 10672 39387 96 62 1.43 1.39/1.46 c 189 1566 3282 18173 5 10880 43326 198 129 1.46 1.39/1.46 o -5 1.59/1.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.59/1.64 c 216 1566 3310 19004 5 10941 39403 226 147 1.47 1.59/1.64 c 316 1566 3412 22290 6 11150 43344 328 209 1.51 1.59/1.64 c 566 1566 3674 27155 7 11675 47679 590 365 1.55 1.59/1.64 o -6 399.49/399.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 399.49/399.65 c 906 1566 4024 36986 9 12381 39420 940 552 1.64 399.49/399.65 c 1006 1566 4127 39502 9 12598 43363 1043 598 1.68 399.49/399.65 c 1256 1566 4382 45130 10 13108 47700 1298 721 1.74 399.49/399.65 c 1732 1566 4874 59629 12 14096 52471 1790 923 1.88 399.49/399.65 c 2545 1566 5726 96391 16 15851 57719 2642 1194 2.13 399.49/399.65 c 3865 1566 7178 148374 20 18871 63491 4094 1519 2.54 399.49/399.65 c 5946 1566 9507 244464 25 23820 69841 6423 1753 3.39 399.49/399.65 c 9169 1566 13218 424123 32 31395 76826 10134 1720 5.33 399.49/399.65 c 14105 1566 18941 723112 38 43385 84509 15857 1346 10.48 399.49/399.65 c 21612 1566 27866 1185441 42 62245 92960 24782 904 23.89 399.49/399.65 c 32973 1566 41852 1951320 46 91181 102257 38768 581 56.75 399.49/399.65 c 50119 1566 62060 3013548 48 132857 112483 58976 420 119.17 399.49/399.65 c 75938 1566 93041 4739445 50 196402 123732 89957 274 276.49 399.49/399.65 o -7 1797.96/1798.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.96/1798.47 c 90894 1566 110756 5706029 51 232706 39437 107672 227 399.55 1797.96/1798.47 c 90994 1566 20187 849193 42 45434 43381 17103 219 414.27 1797.96/1798.47 c 91244 1566 20461 858415 41 46008 47720 17377 220 414.61 1797.96/1798.47 c 91719 1566 21000 881834 41 47117 52493 17916 220 415.39 1797.96/1798.47 c 92532 1566 21925 927739 42 48968 57743 18841 222 416.80 1797.96/1798.47 c 93852 1566 23443 1002026 42 52036 63518 20359 223 419.20 1797.96/1798.47 c 95933 1566 25813 1110307 43 56832 69870 22729 226 422.72 1797.96/1798.47 c 99159 1566 29611 1302962 44 64516 76858 26527 230 429.78 1797.96/1798.47 c 104095 1566 35646 1595073 44 76745 84544 32562 233 444.87 1797.96/1798.47 c 111601 1566 44480 2035913 45 94789 92999 41396 237 470.07 1797.96/1798.47 c 122962 1566 57911 2718201 46 122131 102299 54827 237 517.46 1797.96/1798.47 c 140107 1566 78286 3791360 48 163759 112529 75202 229 610.23 1797.96/1798.47 c 165926 1566 109134 5390818 49 226719 123782 106050 210 787.65 1797.96/1798.47 c 204758 1536 45289 2034749 44 97130 136161 42205 199 1027.17 1797.96/1798.47 c 263110 1536 106982 5062254 47 222322 149778 103898 192 1364.60 1797.96/1798.47 c Resources Exceeded 1797.96/1798.47 v -x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 x29 -x30 x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 x1525 -x1526 -x1527 x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 x84 -x85 x86 -x87 -x88 x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 x99 -x100 1797.96/1798.47 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.96/1798.47 c 36 301143 60259 475635 149029 7203361 145945 167 1798.03 1797.96/1798.47 c Objective: -7 1797.96/1798.47 s SATISFIABLE 1797.96/1798.47 c Total time: 1798.03 s
OK -7
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2671085-1276718086/watcher-2671085-1276718086 -o /tmp/evaluation-result-2671085-1276718086/solver-2671085-1276718086 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2671085-1276718086.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): 2000 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 Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 18221 /proc/meminfo: memFree=1866920/2059040 swapFree=4140240/4192956 [pid=18221] ppid=18219 vsize=11044 CPUtime=0 /proc/18221/stat : 18221 (bsolo_pb10) R 18219 18221 18001 0 -1 4202496 341 0 0 0 0 0 0 0 20 0 1 0 13100066 11309056 260 1992294400 134512640 137138936 4286643296 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18221/statm: 2761 260 176 642 0 2088 0 [startup+0.065277 s] /proc/loadavg: 1.00 1.00 1.00 3/106 18221 /proc/meminfo: memFree=1866920/2059040 swapFree=4140240/4192956 [pid=18221] ppid=18219 vsize=11600 CPUtime=0.06 /proc/18221/stat : 18221 (bsolo_pb10) R 18219 18221 18001 0 -1 4202496 562 0 0 0 6 0 0 0 20 0 1 0 13100066 11878400 452 1992294400 134512640 137138936 4286643296 18446744073709551615 134542155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18221/statm: 2900 452 184 642 0 2256 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 11600 [startup+0.10128 s] /proc/loadavg: 1.00 1.00 1.00 3/106 18221 /proc/meminfo: memFree=1866920/2059040 swapFree=4140240/4192956 [pid=18221] ppid=18219 vsize=11600 CPUtime=0.09 /proc/18221/stat : 18221 (bsolo_pb10) R 18219 18221 18001 0 -1 4202496 562 0 0 0 9 0 0 0 20 0 1 0 13100066 11878400 452 1992294400 134512640 137138936 4286643296 18446744073709551615 136504908 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18221/statm: 2900 452 184 642 0 2256 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11600 [startup+0.300297 s] /proc/loadavg: 1.00 1.00 1.00 3/106 18221 /proc/meminfo: memFree=1866920/2059040 swapFree=4140240/4192956 [pid=18221] ppid=18219 vsize=11600 CPUtime=0.29 /proc/18221/stat : 18221 (bsolo_pb10) R 18219 18221 18001 0 -1 4202496 562 0 0 0 29 0 0 0 20 0 1 0 13100066 11878400 452 1992294400 134512640 137138936 4286643296 18446744073709551615 134542007 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18221/statm: 2900 452 184 642 0 2256 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11600 [startup+0.700334 s] /proc/loadavg: 1.00 1.00 1.00 3/106 18221 /proc/meminfo: memFree=1866920/2059040 swapFree=4140240/4192956 [pid=18221] ppid=18219 vsize=11600 CPUtime=0.69 /proc/18221/stat : 18221 (bsolo_pb10) R 18219 18221 18001 0 -1 4202496 562 0 0 0 69 0 0 0 20 0 1 0 13100066 11878400 452 1992294400 134512640 137138936 4286643296 18446744073709551615 136505153 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18221/statm: 2900 452 184 642 0 2256 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11600 [startup+1.5004 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18222 /proc/meminfo: memFree=1865920/2059040 swapFree=4140240/4192956 [pid=18221] ppid=18219 vsize=11732 CPUtime=1.49 /proc/18221/stat : 18221 (bsolo_pb10) R 18219 18221 18001 0 -1 4202496 609 0 0 0 149 0 0 0 23 0 1 0 13100066 12013568 499 1992294400 134512640 137138936 4286643296 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18221/statm: 2933 499 192 642 0 2289 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11732 [startup+3.10155 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18222 /proc/meminfo: memFree=1864432/2059040 swapFree=4140240/4192956 [pid=18221] ppid=18219 vsize=14756 CPUtime=3.09 /proc/18221/stat : 18221 (bsolo_pb10) R 18219 18221 18001 0 -1 4202496 1372 0 0 0 308 1 0 0 25 0 1 0 13100066 15110144 1262 1992294400 134512640 137138936 4286643296 18446744073709551615 134551342 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18221/statm: 3689 1262 192 642 0 3045 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14756 [startup+6.30183 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18222 /proc/meminfo: memFree=1858976/2059040 swapFree=4140240/4192956 [pid=18221] ppid=18219 vsize=19024 CPUtime=6.29 /proc/18221/stat : 18221 (bsolo_pb10) R 18219 18221 18001 0 -1 4202496 2436 0 0 0 627 2 0 0 25 0 1 0 13100066 19480576 2326 1992294400 134512640 137138936 4286643296 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18221/statm: 4756 2326 192 642 0 4112 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19024 [startup+12.7014 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18222 /proc/meminfo: memFree=1853520/2059040 swapFree=4140240/4192956 [pid=18221] ppid=18219 vsize=24004 CPUtime=12.68 /proc/18221/stat : 18221 (bsolo_pb10) R 18219 18221 18001 0 -1 4202496 3674 0 0 0 1263 5 0 0 25 0 1 0 13100066 24580096 3564 1992294400 134512640 137138936 4286643296 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18221/statm: 6001 3564 192 642 0 5357 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 24004 [startup+25.5006 s] /proc/loadavg: 1.07 1.02 1.00 2/107 18222 /proc/meminfo: memFree=1847196/2059040 swapFree=4140240/4192956 [pid=18221] ppid=18219 vsize=30072 CPUtime=25.49 /proc/18221/stat : 18221 (bsolo_pb10) R 18219 18221 18001 0 -1 4202496 5204 0 0 0 2539 10 0 0 25 0 1 0 13100066 30793728 5094 1992294400 134512640 137138936 4286643296 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18221/statm: 7518 5094 192 642 0 6874 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 30072 [startup+51.1008 s] /proc/loadavg: 1.05 1.01 1.00 2/107 18222 /proc/meminfo: memFree=1838020/2059040 swapFree=4140240/4192956 [pid=18221] ppid=18219 vsize=39228 CPUtime=51.08 /proc/18221/stat : 18221 (bsolo_pb10) R 18219 18221 18001 0 -1 4202496 7478 0 0 0 5092 16 0 0 25 0 1 0 13100066 40169472 7368 1992294400 134512640 137138936 4286643296 18446744073709551615 134542857 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18221/statm: 9807 7368 192 642 0 9163 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 39228 [startup+102.308 s] /proc/loadavg: 1.02 1.01 1.00 2/107 18224 /proc/meminfo: memFree=1823512/2059040 swapFree=4140240/4192956 [pid=18221] ppid=18219 vsize=53416 CPUtime=102.28 /proc/18221/stat : 18221 (bsolo_pb10) R 18219 18221 18001 0 -1 4202496 11017 0 0 0 10201 27 0 0 25 0 1 0 13100066 54697984 10907 1992294400 134512640 137138936 4286643296 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18221/statm: 13354 10907 192 642 0 12710 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 53416 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18226 /proc/meminfo: memFree=1812476/2059040 swapFree=4140240/4192956 [pid=18221] ppid=18219 vsize=64412 CPUtime=162.25 /proc/18221/stat : 18221 (bsolo_pb10) R 18219 18221 18001 0 -1 4202496 13783 0 0 0 16189 36 0 0 25 0 1 0 13100066 65957888 13673 1992294400 134512640 137138936 4286643296 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18221/statm: 16103 13673 192 642 0 15459 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 64412 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18226 /proc/meminfo: memFree=1802184/2059040 swapFree=4140240/4192956 [pid=18221] ppid=18219 vsize=74668 CPUtime=222.24 /proc/18221/stat : 18221 (bsolo_pb10) R 18219 18221 18001 0 -1 4202496 16343 0 0 0 22181 43 0 0 25 0 1 0 13100066 76460032 16233 1992294400 134512640 137138936 4286643296 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18221/statm: 18667 16233 192 642 0 18023 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 74668 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18228 /proc/meminfo: memFree=1793876/2059040 swapFree=4140240/4192956 [pid=18221] ppid=18219 vsize=83044 CPUtime=282.23 /proc/18221/stat : 18221 (bsolo_pb10) R 18219 18221 18001 0 -1 4202496 18436 0 0 0 28173 50 0 0 25 0 1 0 13100066 85037056 18326 1992294400 134512640 137138936 4286643296 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18221/statm: 20761 18326 192 642 0 20117 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 83044 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18230 /proc/meminfo: memFree=1787056/2059040 swapFree=4140240/4192956 [pid=18221] ppid=18219 vsize=89696 CPUtime=342.2 /proc/18221/stat : 18221 (bsolo_pb10) R 18219 18221 18001 0 -1 4202496 20094 0 0 0 34164 56 0 0 25 0 1 0 13100066 91848704 19984 1992294400 134512640 137138936 4286643296 18446744073709551615 134542372 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18221/statm: 22424 19984 192 642 0 21780 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 89696 [startup+402.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18241 /proc/meminfo: memFree=1778872/2059040 swapFree=4140240/4192956 [pid=18221] ppid=18219 vsize=96940 CPUtime=402.18 /proc/18221/stat : 18221 (bsolo_pb10) R 18219 18221 18001 0 -1 4202496 22002 0 0 0 40156 62 0 0 25 0 1 0 13100066 99266560 21786 1992294400 134512640 137138936 4286643296 18446744073709551615 134540740 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18221/statm: 24235 21786 192 642 0 23591 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 96940 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18243 /proc/meminfo: memFree=1778872/2059040 swapFree=4140240/4192956 [pid=18221] ppid=18219 vsize=96940 CPUtime=462.17 /proc/18221/stat : 18221 (bsolo_pb10) R 18219 18221 18001 0 -1 4202496 22002 0 0 0 46146 71 0 0 25 0 1 0 13100066 99266560 21786 1992294400 134512640 137138936 4286643296 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18221/statm: 24235 21786 192 642 0 23591 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 96940 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18243 /proc/meminfo: memFree=1778872/2059040 swapFree=4140240/4192956 [pid=18221] ppid=18219 vsize=96940 CPUtime=522.16 /proc/18221/stat : 18221 (bsolo_pb10) R 18219 18221 18001 0 -1 4202496 22002 0 0 0 52138 78 0 0 25 0 1 0 13100066 99266560 21786 1992294400 134512640 137138936 4286643296 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18221/statm: 24235 21786 192 642 0 23591 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 96940 [startup+582.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18245 /proc/meminfo: memFree=1778872/2059040 swapFree=4140240/4192956 [pid=18221] ppid=18219 vsize=96940 CPUtime=582.14 /proc/18221/stat : 18221 (bsolo_pb10) R 18219 18221 18001 0 -1 4202496 22002 0 0 0 58130 84 0 0 25 0 1 0 13100066 99266560 21786 1992294400 134512640 137138936 4286643296 18446744073709551615 134542493 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18221/statm: 24235 21786 192 642 0 23591 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 96940 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18247 /proc/meminfo: memFree=1778872/2059040 swapFree=4140240/4192956 [pid=18221] ppid=18219 vsize=96940 CPUtime=642.14 /proc/18221/stat : 18221 (bsolo_pb10) R 18219 18221 18001 0 -1 4202496 22002 0 0 0 64124 90 0 0 25 0 1 0 13100066 99266560 21786 1992294400 134512640 137138936 4286643296 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18221/statm: 24235 21786 192 642 0 23591 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 96940 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1768828/2059040 swapFree=4140240/4192956 [pid=18221] ppid=18219 vsize=106768 CPUtime=1122.01 /proc/18221/stat : 18221 (bsolo_pb10) R 18219 18221 18001 0 -1 4202496 24590 0 0 0 112062 139 0 0 25 0 1 0 13100066 109330432 24251 1992294400 134512640 137138936 4286643296 18446744073709551615 134543082 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18221/statm: 26692 24251 192 642 0 26048 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 106768 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18261 /proc/meminfo: memFree=1768704/2059040 swapFree=4140240/4192956 [pid=18221] ppid=18219 vsize=106768 CPUtime=1182 /proc/18221/stat : 18221 (bsolo_pb10) R 18219 18221 18001 0 -1 4202496 24590 0 0 0 118054 146 0 0 25 0 1 0 13100066 109330432 24251 1992294400 134512640 137138936 4286643296 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18221/statm: 26692 24251 192 642 0 26048 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 106768 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18263 /proc/meminfo: memFree=1768580/2059040 swapFree=4140240/4192956 [pid=18221] ppid=18219 vsize=106768 CPUtime=1241.98 /proc/18221/stat : 18221 (bsolo_pb10) R 18219 18221 18001 0 -1 4202496 24590 0 0 0 124047 151 0 0 25 0 1 0 13100066 109330432 24251 1992294400 134512640 137138936 4286643296 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18221/statm: 26692 24251 192 642 0 26048 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 106768 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18265 /proc/meminfo: memFree=1768456/2059040 swapFree=4140240/4192956 [pid=18221] ppid=18219 vsize=106768 CPUtime=1301.98 /proc/18221/stat : 18221 (bsolo_pb10) R 18219 18221 18001 0 -1 4202496 24590 0 0 0 130043 155 0 0 25 0 1 0 13100066 109330432 24251 1992294400 134512640 137138936 4286643296 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18221/statm: 26692 24251 192 642 0 26048 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 106768 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18267 /proc/meminfo: memFree=1768456/2059040 swapFree=4140240/4192956 [pid=18221] ppid=18219 vsize=106768 CPUtime=1361.96 /proc/18221/stat : 18221 (bsolo_pb10) R 18219 18221 18001 0 -1 4202496 24590 0 0 0 136037 159 0 0 25 0 1 0 13100066 109330432 24251 1992294400 134512640 137138936 4286643296 18446744073709551615 136297746 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18221/statm: 26692 24251 192 642 0 26048 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 106768 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18267 /proc/meminfo: memFree=1768456/2059040 swapFree=4140240/4192956 [pid=18221] ppid=18219 vsize=106768 CPUtime=1421.94 /proc/18221/stat : 18221 (bsolo_pb10) R 18219 18221 18001 0 -1 4202496 24590 0 0 0 142031 163 0 0 25 0 1 0 13100066 109330432 24251 1992294400 134512640 137138936 4286643296 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18221/statm: 26692 24251 192 642 0 26048 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 106768 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18269 /proc/meminfo: memFree=1768456/2059040 swapFree=4140240/4192956 [pid=18221] ppid=18219 vsize=106768 CPUtime=1481.92 /proc/18221/stat : 18221 (bsolo_pb10) R 18219 18221 18001 0 -1 4202496 24590 0 0 0 148026 166 0 0 25 0 1 0 13100066 109330432 24251 1992294400 134512640 137138936 4286643296 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18221/statm: 26692 24251 192 642 0 26048 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 106768 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18271 /proc/meminfo: memFree=1768456/2059040 swapFree=4140240/4192956 [pid=18221] ppid=18219 vsize=106768 CPUtime=1541.9 /proc/18221/stat : 18221 (bsolo_pb10) R 18219 18221 18001 0 -1 4202496 24590 0 0 0 154021 169 0 0 25 0 1 0 13100066 109330432 24251 1992294400 134512640 137138936 4286643296 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18221/statm: 26692 24251 192 642 0 26048 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 106768 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18273 /proc/meminfo: memFree=1768456/2059040 swapFree=4140240/4192956 [pid=18221] ppid=18219 vsize=107176 CPUtime=1601.89 /proc/18221/stat : 18221 (bsolo_pb10) R 18219 18221 18001 0 -1 4202496 24708 0 0 0 160016 173 0 0 25 0 1 0 13100066 109748224 24369 1992294400 134512640 137138936 4286643296 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18221/statm: 26794 24369 192 642 0 26150 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 107176 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18275 /proc/meminfo: memFree=1764736/2059040 swapFree=4140240/4192956 [pid=18221] ppid=18219 vsize=111080 CPUtime=1661.88 /proc/18221/stat : 18221 (bsolo_pb10) R 18219 18221 18001 0 -1 4202496 25681 0 0 0 166011 177 0 0 25 0 1 0 13100066 113745920 25342 1992294400 134512640 137138936 4286643296 18446744073709551615 134543407 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18221/statm: 27770 25342 192 642 0 27126 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 111080 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18275 /proc/meminfo: memFree=1760768/2059040 swapFree=4140240/4192956 [pid=18221] ppid=18219 vsize=114828 CPUtime=1721.87 /proc/18221/stat : 18221 (bsolo_pb10) R 18219 18221 18001 0 -1 4202496 26622 0 0 0 172006 181 0 0 25 0 1 0 13100066 117583872 26283 1992294400 134512640 137138936 4286643296 18446744073709551615 136502585 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18221/statm: 28707 26283 192 642 0 28063 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 114828 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18277 /proc/meminfo: memFree=1756056/2059040 swapFree=4140240/4192956 [pid=18221] ppid=18219 vsize=119288 CPUtime=1781.86 /proc/18221/stat : 18221 (bsolo_pb10) R 18219 18221 18001 0 -1 4202496 27734 0 0 0 178001 185 0 0 25 0 1 0 13100066 122150912 27395 1992294400 134512640 137138936 4286643296 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18221/statm: 29822 27395 192 642 0 29178 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 119288 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18277 /proc/meminfo: memFree=1755312/2059040 swapFree=4140240/4192956 [pid=18221] ppid=18219 vsize=120084 CPUtime=1791.45 /proc/18221/stat : 18221 (bsolo_pb10) R 18219 18221 18001 0 -1 4202496 27935 0 0 0 178960 185 0 0 25 0 1 0 13100066 122966016 27596 1992294400 134512640 137138936 4286643296 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18221/statm: 30021 27596 192 642 0 29377 0 Current children cumulated CPU time (s) 1791.45 Current children cumulated vsize (KiB) 120084 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18277 /proc/meminfo: memFree=1755064/2059040 swapFree=4140240/4192956 [pid=18221] ppid=18219 vsize=120348 CPUtime=1794.66 /proc/18221/stat : 18221 (bsolo_pb10) R 18219 18221 18001 0 -1 4202496 27993 0 0 0 179280 186 0 0 25 0 1 0 13100066 123236352 27654 1992294400 134512640 137138936 4286643296 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18221/statm: 30087 27654 192 642 0 29443 0 Current children cumulated CPU time (s) 1794.66 Current children cumulated vsize (KiB) 120348 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18277 /proc/meminfo: memFree=1754940/2059040 swapFree=4140240/4192956 [pid=18221] ppid=18219 vsize=120480 CPUtime=1796.25 /proc/18221/stat : 18221 (bsolo_pb10) R 18219 18221 18001 0 -1 4202496 28021 0 0 0 179439 186 0 0 25 0 1 0 13100066 123371520 27682 1992294400 134512640 137138936 4286643296 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18221/statm: 30120 27682 192 642 0 29476 0 Current children cumulated CPU time (s) 1796.25 Current children cumulated vsize (KiB) 120480 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18277 /proc/meminfo: memFree=1754940/2059040 swapFree=4140240/4192956 [pid=18221] ppid=18219 vsize=120480 CPUtime=1797.05 /proc/18221/stat : 18221 (bsolo_pb10) R 18219 18221 18001 0 -1 4202496 28032 0 0 0 179519 186 0 0 25 0 1 0 13100066 123371520 27693 1992294400 134512640 137138936 4286643296 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18221/statm: 30120 27693 192 642 0 29476 0 Current children cumulated CPU time (s) 1797.05 Current children cumulated vsize (KiB) 120480 [startup+1797.9 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18277 /proc/meminfo: memFree=1754940/2059040 swapFree=4140240/4192956 [pid=18221] ppid=18219 vsize=120612 CPUtime=1797.45 /proc/18221/stat : 18221 (bsolo_pb10) R 18219 18221 18001 0 -1 4202496 28039 0 0 0 179559 186 0 0 25 0 1 0 13100066 123506688 27700 1992294400 134512640 137138936 4286643296 18446744073709551615 134542369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18221/statm: 30153 27700 192 642 0 29509 0 Current children cumulated CPU time (s) 1797.45 Current children cumulated vsize (KiB) 120612 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18277 /proc/meminfo: memFree=1754940/2059040 swapFree=4140240/4192956 [pid=18221] ppid=18219 vsize=120612 CPUtime=1797.85 /proc/18221/stat : 18221 (bsolo_pb10) R 18219 18221 18001 0 -1 4202496 28046 0 0 0 179599 186 0 0 25 0 1 0 13100066 123506688 27707 1992294400 134512640 137138936 4286643296 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18221/statm: 30153 27707 192 642 0 29509 0 Current children cumulated CPU time (s) 1797.85 Current children cumulated vsize (KiB) 120612 [startup+1798.4 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18277 /proc/meminfo: memFree=1754816/2059040 swapFree=4140240/4192956 [pid=18221] ppid=18219 vsize=120612 CPUtime=1797.96 /proc/18221/stat : 18221 (bsolo_pb10) R 18219 18221 18001 0 -1 4202496 28049 0 0 0 179610 186 0 0 25 0 1 0 13100066 123506688 27710 1992294400 134512640 137138936 4286643296 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18221/statm: 30153 27710 192 642 0 29509 0 Current children cumulated CPU time (s) 1797.96 Current children cumulated vsize (KiB) 120612 Child status: 0 Real time (s): 1798.49 CPU time (s): 1798.04 CPU user time (s): 1796.17 CPU system time (s): 1.87471 CPU usage (%): 99.9753 Max. virtual memory (cumulated for all children) (KiB): 120612 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.17 system time used= 1.87471 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 28050 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= 1 involuntary context switches= 5510 runsolver used 2.72558 second user time and 8.73267 second system time The end
Begin job on node051 at 2010-06-16 21:54:46 IDJOB=2671085 IDBENCH=48259 IDSOLVER=1162 FILE ID=node051/2671085-1276718086 PBS_JOBID= 11174187 Free space on /tmp= 62564 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_25_4.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2671085-1276718086/watcher-2671085-1276718086 -o /tmp/evaluation-result-2671085-1276718086/solver-2671085-1276718086 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2671085-1276718086.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0c3fb28b3ecb8f1eba2bffa356ef5364 RANDOM SEED=1081925242 node051.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.255 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.51 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.255 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1867696 kB Buffers: 25036 kB Cached: 84356 kB SwapCached: 6004 kB Active: 85760 kB Inactive: 36320 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1867696 kB SwapTotal: 4192956 kB SwapFree: 4140240 kB Dirty: 3916 kB Writeback: 0 kB AnonPages: 10808 kB Mapped: 13052 kB Slab: 47540 kB PageTables: 4024 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181304 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2671085-1276718086.opb Free space on /tmp at the end= 62560 MiB End job on node051 at 2010-06-16 22:24:44