Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | SAT | -6 | 1798.02 | 1798.72 |
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: Clause Learning 0.00/0.00 c Instance file HOME/instance-2671086-1276718092.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.02 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.29/1.38 c Pre-processing Time: 1.378 s 1.29/1.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.38 c 0 1566 3084 12028 3 10464 39303 0 0 1.38 1.29/1.38 c Switching off lower bounding mode. 1.29/1.38 o -1 1.29/1.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.38 c 0 1566 3085 12078 3 10467 39337 1 0 1.38 1.29/1.38 o -2 1.39/1.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.41 c 8 1566 3094 12559 4 10487 39353 10 5 1.38 1.39/1.41 c 108 1566 3194 20627 6 10687 43289 110 77 1.40 1.39/1.41 o -3 1.39/1.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.47 c 174 1566 3261 25244 7 10824 39370 177 123 1.41 1.39/1.47 c 274 1566 3361 32382 9 11024 43308 277 191 1.43 1.39/1.47 c 524 1566 3611 48290 13 11524 47639 527 356 1.47 1.39/1.47 o -4 1.49/1.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.49/1.52 c 546 1566 3634 49457 13 11574 39387 550 370 1.47 1.49/1.52 c 646 1566 3734 55008 14 11774 43326 650 432 1.50 1.49/1.52 o -5 7.59/7.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.59/7.66 c 791 1566 3880 63304 16 12071 39403 796 521 1.52 7.59/7.66 c 891 1566 3980 71068 17 12271 43344 896 580 1.53 7.59/7.66 c 1141 1566 4230 90995 21 12771 47679 1146 723 1.58 7.59/7.66 c 1616 1566 4705 127401 27 13721 52447 1621 976 1.66 7.59/7.66 c 2429 1566 5518 179389 32 15347 57692 2434 1341 1.81 7.59/7.66 c 3749 1566 6838 273316 39 17987 63462 3754 1830 2.05 7.59/7.66 c 5830 1566 8919 406743 45 22149 69809 5835 2259 2.58 7.59/7.66 c 9053 1566 12142 629028 51 28595 76790 9058 2458 3.68 7.59/7.66 c 13989 1566 17078 963475 56 38467 84470 13994 2577 5.43 7.59/7.66 o -6 1797.99/1798.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.99/1798.70 c 17949 1566 21039 1216994 57 46395 39420 17955 2343 7.66 1797.99/1798.70 c 18049 1566 21139 1222863 57 46595 43363 18055 2340 7.71 1797.99/1798.70 c 18299 1566 21389 1239735 57 47095 47700 18305 2339 7.82 1797.99/1798.70 c 18774 1566 21864 1262137 57 48045 52471 18780 2274 8.25 1797.99/1798.70 c 19587 1566 22677 1320031 58 49671 57719 19593 2202 8.89 1797.99/1798.70 c 20907 1566 23997 1419879 59 52311 63491 20913 2217 9.43 1797.99/1798.70 c 22988 1566 26078 1569673 60 56473 69841 22994 2198 10.46 1797.99/1798.70 c 26211 1566 29301 1775242 60 62919 76826 26217 2094 12.51 1797.99/1798.70 c 31147 1566 34237 2144607 62 72791 84509 31153 1884 16.53 1797.99/1798.70 c 38653 1566 41743 2714899 65 87803 92960 38659 1460 26.46 1797.99/1798.70 c 50015 1566 53105 3563868 67 110527 102257 50021 1150 43.46 1797.99/1798.70 c 67159 1566 70249 4909071 69 144815 112483 67165 840 79.87 1797.99/1798.70 c 92978 1566 96068 6544817 68 196453 123732 92984 598 155.22 1797.99/1798.70 c 131811 1566 22443 1251064 55 49188 136106 19359 343 383.77 1797.99/1798.70 c 190163 1566 80795 5070908 62 165892 149717 77711 376 505.46 1797.99/1798.70 c 277795 1566 30852 1861994 60 66006 164689 27768 275 1009.08 1797.99/1798.70 c 409347 1566 162404 10719105 66 329110 181158 159320 274 1490.61 1797.99/1798.70 c Resources Exceeded 1797.99/1798.70 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.99/1798.70 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.99/1798.70 c 34 445679 5454 461653 29380 1723032 26296 247 1798.00 1797.99/1798.70 c Objective: -6 1797.99/1798.70 s SATISFIABLE 1797.99/1798.70 c Total time: 1798 s
OK -6
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2671086-1276718092/watcher-2671086-1276718092 -o /tmp/evaluation-result-2671086-1276718092/solver-2671086-1276718092 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2671086-1276718092.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 17249 /proc/meminfo: memFree=1807488/2059040 swapFree=4192888/4192956 [pid=17249] ppid=17247 vsize=10912 CPUtime=0 /proc/17249/stat : 17249 (bsolo_pb10) R 17247 17249 17028 0 -1 4202496 337 0 0 0 0 0 0 0 18 0 1 0 13101893 11173888 255 1992294400 134512640 137138936 4292137312 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17249/statm: 2728 256 175 642 0 2055 0 [startup+0.0384189 s] /proc/loadavg: 1.00 1.00 1.00 3/106 17249 /proc/meminfo: memFree=1807488/2059040 swapFree=4192888/4192956 [pid=17249] ppid=17247 vsize=11600 CPUtime=0.03 /proc/17249/stat : 17249 (bsolo_pb10) R 17247 17249 17028 0 -1 4202496 563 0 0 0 3 0 0 0 18 0 1 0 13101893 11878400 452 1992294400 134512640 137138936 4292137312 18446744073709551615 136521023 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17249/statm: 2900 452 184 642 0 2256 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 11600 [startup+0.101424 s] /proc/loadavg: 1.00 1.00 1.00 3/106 17249 /proc/meminfo: memFree=1807488/2059040 swapFree=4192888/4192956 [pid=17249] ppid=17247 vsize=11600 CPUtime=0.1 /proc/17249/stat : 17249 (bsolo_pb10) R 17247 17249 17028 0 -1 4202496 563 0 0 0 10 0 0 0 21 0 1 0 13101893 11878400 452 1992294400 134512640 137138936 4292137312 18446744073709551615 136504089 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17249/statm: 2900 452 184 642 0 2256 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 11600 [startup+0.300442 s] /proc/loadavg: 1.00 1.00 1.00 3/106 17249 /proc/meminfo: memFree=1807488/2059040 swapFree=4192888/4192956 [pid=17249] ppid=17247 vsize=11600 CPUtime=0.29 /proc/17249/stat : 17249 (bsolo_pb10) R 17247 17249 17028 0 -1 4202496 563 0 0 0 29 0 0 0 21 0 1 0 13101893 11878400 452 1992294400 134512640 137138936 4292137312 18446744073709551615 136504353 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17249/statm: 2900 452 184 642 0 2256 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11600 [startup+0.700476 s] /proc/loadavg: 1.00 1.00 1.00 3/106 17249 /proc/meminfo: memFree=1807488/2059040 swapFree=4192888/4192956 [pid=17249] ppid=17247 vsize=11600 CPUtime=0.69 /proc/17249/stat : 17249 (bsolo_pb10) R 17247 17249 17028 0 -1 4202496 563 0 0 0 69 0 0 0 22 0 1 0 13101893 11878400 452 1992294400 134512640 137138936 4292137312 18446744073709551615 136504169 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17249/statm: 2900 452 184 642 0 2256 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11600 [startup+1.50155 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17250 /proc/meminfo: memFree=1806612/2059040 swapFree=4192888/4192956 [pid=17249] ppid=17247 vsize=12212 CPUtime=1.49 /proc/17249/stat : 17249 (bsolo_pb10) R 17247 17249 17028 0 -1 4202496 729 0 0 0 149 0 0 0 25 0 1 0 13101893 12505088 618 1992294400 134512640 137138936 4292137312 18446744073709551615 134576119 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17249/statm: 3053 618 191 642 0 2409 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12212 [startup+3.10169 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17250 /proc/meminfo: memFree=1802520/2059040 swapFree=4192888/4192956 [pid=17249] ppid=17247 vsize=19076 CPUtime=3.09 /proc/17249/stat : 17249 (bsolo_pb10) R 17247 17249 17028 0 -1 4202496 2427 0 0 0 307 2 0 0 25 0 1 0 13101893 19533824 2316 1992294400 134512640 137138936 4292137312 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17249/statm: 4769 2316 191 642 0 4125 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19076 [startup+6.30097 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17250 /proc/meminfo: memFree=1792848/2059040 swapFree=4192888/4192956 [pid=17249] ppid=17247 vsize=27072 CPUtime=6.29 /proc/17249/stat : 17249 (bsolo_pb10) R 17247 17249 17028 0 -1 4202496 4446 0 0 0 624 5 0 0 25 0 1 0 13101893 27721728 4335 1992294400 134512640 137138936 4292137312 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17249/statm: 6768 4335 191 642 0 6124 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 27072 [startup+12.7015 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17250 /proc/meminfo: memFree=1781564/2059040 swapFree=4192888/4192956 [pid=17249] ppid=17247 vsize=37396 CPUtime=12.68 /proc/17249/stat : 17249 (bsolo_pb10) R 17247 17249 17028 0 -1 4202496 7008 0 0 0 1259 9 0 0 25 0 1 0 13101893 38293504 6897 1992294400 134512640 137138936 4292137312 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17249/statm: 9349 6897 191 642 0 8705 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 37396 [startup+25.5006 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17250 /proc/meminfo: memFree=1768544/2059040 swapFree=4192888/4192956 [pid=17249] ppid=17247 vsize=49656 CPUtime=25.49 /proc/17249/stat : 17249 (bsolo_pb10) R 17247 17249 17028 0 -1 4202496 10094 0 0 0 2533 16 0 0 25 0 1 0 13101893 50847744 9983 1992294400 134512640 137138936 4292137312 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17249/statm: 12414 9983 191 642 0 11770 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 49656 [startup+51.1009 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17252 /proc/meminfo: memFree=1749572/2059040 swapFree=4192888/4192956 [pid=17249] ppid=17247 vsize=68400 CPUtime=51.08 /proc/17249/stat : 17249 (bsolo_pb10) R 17247 17249 17028 0 -1 4202496 14785 0 0 0 5082 26 0 0 25 0 1 0 13101893 70041600 14674 1992294400 134512640 137138936 4292137312 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17249/statm: 17100 14674 191 642 0 16456 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 68400 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17252 /proc/meminfo: memFree=1728492/2059040 swapFree=4192888/4192956 [pid=17249] ppid=17247 vsize=89224 CPUtime=102.27 /proc/17249/stat : 17249 (bsolo_pb10) R 17247 17249 17028 0 -1 4202496 19976 0 0 0 10188 39 0 0 25 0 1 0 13101893 91365376 19865 1992294400 134512640 137138936 4292137312 18446744073709551615 136504086 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17249/statm: 22306 19865 191 642 0 21662 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 89224 [startup+162.301 s] /proc/loadavg: 1.12 1.03 1.01 2/107 17254 /proc/meminfo: memFree=1710884/2059040 swapFree=4192888/4192956 [pid=17249] ppid=17247 vsize=106780 CPUtime=162.25 /proc/17249/stat : 17249 (bsolo_pb10) R 17247 17249 17028 0 -1 4202496 24353 0 0 0 16170 55 0 0 25 0 1 0 13101893 109342720 24242 1992294400 134512640 137138936 4292137312 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17249/statm: 26695 24242 191 642 0 26051 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 106780 [startup+222.301 s] /proc/loadavg: 1.12 1.04 1.01 2/107 17256 /proc/meminfo: memFree=1695632/2059040 swapFree=4192888/4192956 [pid=17249] ppid=17247 vsize=122068 CPUtime=222.24 /proc/17249/stat : 17249 (bsolo_pb10) R 17247 17249 17028 0 -1 4202496 28175 0 0 0 22157 67 0 0 25 0 1 0 13101893 124997632 28064 1992294400 134512640 137138936 4292137312 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17249/statm: 30517 28064 191 642 0 29873 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 122068 [startup+282.301 s] /proc/loadavg: 1.11 1.04 1.01 2/107 17258 /proc/meminfo: memFree=1686456/2059040 swapFree=4192888/4192956 [pid=17249] ppid=17247 vsize=131256 CPUtime=282.22 /proc/17249/stat : 17249 (bsolo_pb10) R 17247 17249 17028 0 -1 4202496 30473 0 0 0 28146 76 0 0 25 0 1 0 13101893 134406144 30362 1992294400 134512640 137138936 4292137312 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17249/statm: 32814 30362 191 642 0 32170 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 131256 [startup+342.301 s] /proc/loadavg: 1.10 1.05 1.01 2/107 17260 /proc/meminfo: memFree=1681372/2059040 swapFree=4192888/4192956 [pid=17249] ppid=17247 vsize=135480 CPUtime=342.21 /proc/17249/stat : 17249 (bsolo_pb10) R 17247 17249 17028 0 -1 4202496 31674 0 0 0 34141 80 0 0 25 0 1 0 13101893 138731520 31440 1992294400 134512640 137138936 4292137312 18446744073709551615 134540744 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17249/statm: 33870 31440 191 642 0 33226 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 135480 [startup+402.3 s] /proc/loadavg: 1.09 1.05 1.00 2/107 17269 /proc/meminfo: memFree=1680876/2059040 swapFree=4192888/4192956 [pid=17249] ppid=17247 vsize=135480 CPUtime=402.17 /proc/17249/stat : 17249 (bsolo_pb10) R 17247 17249 17028 0 -1 4202496 31674 0 0 0 40130 87 0 0 25 0 1 0 13101893 138731520 31440 1992294400 134512640 137138936 4292137312 18446744073709551615 136504617 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17249/statm: 33870 31440 191 642 0 33226 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 135480 [startup+462.301 s] /proc/loadavg: 1.03 1.04 1.00 2/107 17271 /proc/meminfo: memFree=1680876/2059040 swapFree=4192888/4192956 [pid=17249] ppid=17247 vsize=135480 CPUtime=462.14 /proc/17249/stat : 17249 (bsolo_pb10) R 17247 17249 17028 0 -1 4202496 31674 0 0 0 46115 99 0 0 25 0 1 0 13101893 138731520 31440 1992294400 134512640 137138936 4292137312 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17249/statm: 33870 31440 191 642 0 33226 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 135480 [startup+522.301 s] /proc/loadavg: 1.01 1.03 1.00 2/107 17273 /proc/meminfo: memFree=1680876/2059040 swapFree=4192888/4192956 [pid=17249] ppid=17247 vsize=135480 CPUtime=522.12 /proc/17249/stat : 17249 (bsolo_pb10) R 17247 17249 17028 0 -1 4202496 31674 0 0 0 52103 109 0 0 25 0 1 0 13101893 138731520 31440 1992294400 134512640 137138936 4292137312 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17249/statm: 33870 31440 191 642 0 33226 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 135480 [startup+582.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 17275 /proc/meminfo: memFree=1680876/2059040 swapFree=4192888/4192956 [pid=17249] ppid=17247 vsize=135480 CPUtime=582.1 /proc/17249/stat : 17249 (bsolo_pb10) R 17247 17249 17028 0 -1 4202496 31674 0 0 0 58091 119 0 0 25 0 1 0 13101893 138731520 31440 1992294400 134512640 137138936 4292137312 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17249/statm: 33870 31440 191 642 0 33226 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 135480 [startup+642.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 17277 /proc/meminfo: memFree=1680876/2059040 swapFree=4192888/4192956 [pid=17249] ppid=17247 vsize=135480 CPUtime=642.08 /proc/17249/stat : 17249 (bsolo_pb10) R 17247 17249 17028 0 -1 4202496 31674 0 0 0 64080 128 0 0 25 0 1 0 13101893 138731520 31440 1992294400 134512640 137138936 4292137312 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17249/statm: 33870 31440 191 642 0 33226 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 135480 [startup+702.3 s] ################ # More data... # ################ /proc/meminfo: memFree=1659548/2059040 swapFree=4192888/4192956 [pid=17249] ppid=17247 vsize=156668 CPUtime=1061.91 /proc/17249/stat : 17249 (bsolo_pb10) R 17247 17249 17028 0 -1 4202496 37112 0 0 0 106019 172 0 0 25 0 1 0 13101893 160428032 36730 1992294400 134512640 137138936 4292137312 18446744073709551615 134543074 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17249/statm: 39167 36730 191 642 0 38523 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 156668 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17289 /proc/meminfo: memFree=1659548/2059040 swapFree=4192888/4192956 [pid=17249] ppid=17247 vsize=156668 CPUtime=1121.88 /proc/17249/stat : 17249 (bsolo_pb10) R 17247 17249 17028 0 -1 4202496 37112 0 0 0 112008 180 0 0 25 0 1 0 13101893 160428032 36730 1992294400 134512640 137138936 4292137312 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17249/statm: 39167 36730 191 642 0 38523 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 156668 [startup+1182.3 s] /proc/loadavg: 1.05 1.01 1.00 2/107 17291 /proc/meminfo: memFree=1659548/2059040 swapFree=4192888/4192956 [pid=17249] ppid=17247 vsize=156668 CPUtime=1181.85 /proc/17249/stat : 17249 (bsolo_pb10) R 17247 17249 17028 0 -1 4202496 37112 0 0 0 117997 188 0 0 25 0 1 0 13101893 160428032 36730 1992294400 134512640 137138936 4292137312 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17249/statm: 39167 36730 191 642 0 38523 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 156668 [startup+1242.3 s] /proc/loadavg: 1.02 1.01 1.00 2/107 17293 /proc/meminfo: memFree=1659548/2059040 swapFree=4192888/4192956 [pid=17249] ppid=17247 vsize=156668 CPUtime=1241.82 /proc/17249/stat : 17249 (bsolo_pb10) R 17247 17249 17028 0 -1 4202496 37112 0 0 0 123985 197 0 0 25 0 1 0 13101893 160428032 36730 1992294400 134512640 137138936 4292137312 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17249/statm: 39167 36730 191 642 0 38523 0 Current children cumulated CPU time (s) 1241.82 Current children cumulated vsize (KiB) 156668 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17293 /proc/meminfo: memFree=1659548/2059040 swapFree=4192888/4192956 [pid=17249] ppid=17247 vsize=156668 CPUtime=1301.8 /proc/17249/stat : 17249 (bsolo_pb10) R 17247 17249 17028 0 -1 4202496 37112 0 0 0 129975 205 0 0 25 0 1 0 13101893 160428032 36730 1992294400 134512640 137138936 4292137312 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17249/statm: 39167 36730 191 642 0 38523 0 Current children cumulated CPU time (s) 1301.8 Current children cumulated vsize (KiB) 156668 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17295 /proc/meminfo: memFree=1659548/2059040 swapFree=4192888/4192956 [pid=17249] ppid=17247 vsize=156668 CPUtime=1361.77 /proc/17249/stat : 17249 (bsolo_pb10) R 17247 17249 17028 0 -1 4202496 37112 0 0 0 135964 213 0 0 25 0 1 0 13101893 160428032 36730 1992294400 134512640 137138936 4292137312 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17249/statm: 39167 36730 191 642 0 38523 0 Current children cumulated CPU time (s) 1361.77 Current children cumulated vsize (KiB) 156668 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17297 /proc/meminfo: memFree=1659548/2059040 swapFree=4192888/4192956 [pid=17249] ppid=17247 vsize=156668 CPUtime=1421.76 /proc/17249/stat : 17249 (bsolo_pb10) R 17247 17249 17028 0 -1 4202496 37112 0 0 0 141954 222 0 0 25 0 1 0 13101893 160428032 36730 1992294400 134512640 137138936 4292137312 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17249/statm: 39167 36730 191 642 0 38523 0 Current children cumulated CPU time (s) 1421.76 Current children cumulated vsize (KiB) 156668 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17299 /proc/meminfo: memFree=1653100/2059040 swapFree=4192888/4192956 [pid=17249] ppid=17247 vsize=163748 CPUtime=1481.72 /proc/17249/stat : 17249 (bsolo_pb10) R 17247 17249 17028 0 -1 4202496 38876 0 0 0 147942 230 0 0 25 0 1 0 13101893 167677952 38494 1992294400 134512640 137138936 4292137312 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17249/statm: 40937 38494 191 642 0 40293 0 Current children cumulated CPU time (s) 1481.72 Current children cumulated vsize (KiB) 163748 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17301 /proc/meminfo: memFree=1643924/2059040 swapFree=4192888/4192956 [pid=17249] ppid=17247 vsize=172744 CPUtime=1541.7 /proc/17249/stat : 17249 (bsolo_pb10) R 17247 17249 17028 0 -1 4202496 41126 0 0 0 153933 237 0 0 25 0 1 0 13101893 176889856 40744 1992294400 134512640 137138936 4292137312 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17249/statm: 43186 40744 191 642 0 42542 0 Current children cumulated CPU time (s) 1541.7 Current children cumulated vsize (KiB) 172744 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17301 /proc/meminfo: memFree=1633880/2059040 swapFree=4192888/4192956 [pid=17249] ppid=17247 vsize=182804 CPUtime=1601.68 /proc/17249/stat : 17249 (bsolo_pb10) R 17247 17249 17028 0 -1 4202496 43633 0 0 0 159923 245 0 0 25 0 1 0 13101893 187191296 43251 1992294400 134512640 137138936 4292137312 18446744073709551615 134543080 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17249/statm: 45701 43251 191 642 0 45057 0 Current children cumulated CPU time (s) 1601.68 Current children cumulated vsize (KiB) 182804 [startup+1662.3 s] /proc/loadavg: 1.07 1.02 1.00 2/107 17303 /proc/meminfo: memFree=1628176/2059040 swapFree=4192888/4192956 [pid=17249] ppid=17247 vsize=187628 CPUtime=1661.64 /proc/17249/stat : 17249 (bsolo_pb10) R 17247 17249 17028 0 -1 4202496 45044 0 0 0 165914 250 0 0 25 0 1 0 13101893 192131072 44483 1992294400 134512640 137138936 4292137312 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17249/statm: 46907 44483 191 642 0 46263 0 Current children cumulated CPU time (s) 1661.64 Current children cumulated vsize (KiB) 187628 [startup+1722.3 s] /proc/loadavg: 1.02 1.01 1.00 2/107 17305 /proc/meminfo: memFree=1628176/2059040 swapFree=4192888/4192956 [pid=17249] ppid=17247 vsize=187628 CPUtime=1721.62 /proc/17249/stat : 17249 (bsolo_pb10) R 17247 17249 17028 0 -1 4202496 45044 0 0 0 171912 250 0 0 25 0 1 0 13101893 192131072 44483 1992294400 134512640 137138936 4292137312 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17249/statm: 46907 44483 191 642 0 46263 0 Current children cumulated CPU time (s) 1721.62 Current children cumulated vsize (KiB) 187628 [startup+1782.3 s] /proc/loadavg: 1.01 1.00 1.00 2/107 17307 /proc/meminfo: memFree=1627928/2059040 swapFree=4192888/4192956 [pid=17249] ppid=17247 vsize=187628 CPUtime=1781.6 /proc/17249/stat : 17249 (bsolo_pb10) R 17247 17249 17028 0 -1 4202496 45044 0 0 0 177909 251 0 0 25 0 1 0 13101893 192131072 44483 1992294400 134512640 137138936 4292137312 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17249/statm: 46907 44483 191 642 0 46263 0 Current children cumulated CPU time (s) 1781.6 Current children cumulated vsize (KiB) 187628 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.01 1.00 1.00 2/107 17307 /proc/meminfo: memFree=1627928/2059040 swapFree=4192888/4192956 [pid=17249] ppid=17247 vsize=187628 CPUtime=1791.2 /proc/17249/stat : 17249 (bsolo_pb10) R 17247 17249 17028 0 -1 4202496 45044 0 0 0 178867 253 0 0 25 0 1 0 13101893 192131072 44483 1992294400 134512640 137138936 4292137312 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17249/statm: 46907 44483 191 642 0 46263 0 Current children cumulated CPU time (s) 1791.2 Current children cumulated vsize (KiB) 187628 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17307 /proc/meminfo: memFree=1627928/2059040 swapFree=4192888/4192956 [pid=17249] ppid=17247 vsize=187628 CPUtime=1794.39 /proc/17249/stat : 17249 (bsolo_pb10) R 17247 17249 17028 0 -1 4202496 45044 0 0 0 179185 254 0 0 25 0 1 0 13101893 192131072 44483 1992294400 134512640 137138936 4292137312 18446744073709551615 134542984 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17249/statm: 46907 44483 191 642 0 46263 0 Current children cumulated CPU time (s) 1794.39 Current children cumulated vsize (KiB) 187628 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17307 /proc/meminfo: memFree=1627928/2059040 swapFree=4192888/4192956 [pid=17249] ppid=17247 vsize=187628 CPUtime=1795.99 /proc/17249/stat : 17249 (bsolo_pb10) R 17247 17249 17028 0 -1 4202496 45044 0 0 0 179344 255 0 0 25 0 1 0 13101893 192131072 44483 1992294400 134512640 137138936 4292137312 18446744073709551615 136504350 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17249/statm: 46907 44483 191 642 0 46263 0 Current children cumulated CPU time (s) 1795.99 Current children cumulated vsize (KiB) 187628 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17307 /proc/meminfo: memFree=1627928/2059040 swapFree=4192888/4192956 [pid=17249] ppid=17247 vsize=187628 CPUtime=1796.79 /proc/17249/stat : 17249 (bsolo_pb10) R 17247 17249 17028 0 -1 4202496 45044 0 0 0 179424 255 0 0 25 0 1 0 13101893 192131072 44483 1992294400 134512640 137138936 4292137312 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17249/statm: 46907 44483 191 642 0 46263 0 Current children cumulated CPU time (s) 1796.79 Current children cumulated vsize (KiB) 187628 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17307 /proc/meminfo: memFree=1627928/2059040 swapFree=4192888/4192956 [pid=17249] ppid=17247 vsize=187628 CPUtime=1797.59 /proc/17249/stat : 17249 (bsolo_pb10) R 17247 17249 17028 0 -1 4202496 45044 0 0 0 179504 255 0 0 25 0 1 0 13101893 192131072 44483 1992294400 134512640 137138936 4292137312 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17249/statm: 46907 44483 191 642 0 46263 0 Current children cumulated CPU time (s) 1797.59 Current children cumulated vsize (KiB) 187628 [startup+1798.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17307 /proc/meminfo: memFree=1627928/2059040 swapFree=4192888/4192956 [pid=17249] ppid=17247 vsize=187628 CPUtime=1797.99 /proc/17249/stat : 17249 (bsolo_pb10) R 17247 17249 17028 0 -1 4202496 45044 0 0 0 179544 255 0 0 25 0 1 0 13101893 192131072 44483 1992294400 134512640 137138936 4292137312 18446744073709551615 134575931 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17249/statm: 46907 44483 191 642 0 46263 0 Current children cumulated CPU time (s) 1797.99 Current children cumulated vsize (KiB) 187628 Child status: 0 Real time (s): 1798.72 CPU time (s): 1798.02 CPU user time (s): 1795.45 CPU system time (s): 2.57261 CPU usage (%): 99.9608 Max. virtual memory (cumulated for all children) (KiB): 188344 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.45 system time used= 2.57261 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 45045 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= 18445 runsolver used 3.10653 second user time and 8.39772 second system time The end
Begin job on node041 at 2010-06-16 21:54:52 IDJOB=2671086 IDBENCH=48259 IDSOLVER=1163 FILE ID=node041/2671086-1276718092 PBS_JOBID= 11174188 Free space on /tmp= 62084 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_25_4.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2671086-1276718092/watcher-2671086-1276718092 -o /tmp/evaluation-result-2671086-1276718092/solver-2671086-1276718092 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2671086-1276718092.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0c3fb28b3ecb8f1eba2bffa356ef5364 RANDOM SEED=991812295 node041.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.251 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.50 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.251 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.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1808512 kB Buffers: 24024 kB Cached: 95616 kB SwapCached: 64 kB Active: 134524 kB Inactive: 44688 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1808512 kB SwapTotal: 4192956 kB SwapFree: 4192888 kB Dirty: 4012 kB Writeback: 0 kB AnonPages: 59436 kB Mapped: 15456 kB Slab: 49508 kB PageTables: 4036 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181876 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-2671086-1276718092.opb Free space on /tmp at the end= 62080 MiB End job on node041 at 2010-06-16 22:24:51