Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | SAT | -7 | 1798.04 | 1798.7 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_25_3.opb |
MD5SUM | e70f8e0da8fa345ba6e82dce1b0133d2 |
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 | 708.262 |
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) | 2952 |
Sum of products size (including duplicates) | 5904 |
Number of different products | 1476 |
Sum of products size | 2952 |
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-2671029-1276715177.opb 0.00/0.00 c File size is 118615 bytes. 0.01/0.02 c Highest Coefficient sum: 100 0.01/0.02 c Parsing was ok!! 0.01/0.02 c Total parsing time: 0.021 s 0.01/0.02 c Var: 1576 Constr: 3104 1526/102/1476 Lit: 12108 Watch. Lit: 10534 0.01/0.02 c Obj. Vars: 50 (3.17259 % of total variables) 1.39/1.45 c Pre-processing Time: 1.454 s 1.39/1.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.45 c 0 1576 3104 12108 3 10534 39764 0 0 1.45 1.39/1.45 c Switching off lower bounding mode. 1.39/1.46 o -1 1.39/1.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.46 c 0 1576 3105 12158 3 10537 39797 1 0 1.46 1.39/1.46 o -2 1.39/1.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.46 c 2 1576 3109 12357 3 10548 39814 5 1 1.46 1.39/1.46 o -3 1.39/1.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.47 c 11 1576 3120 12840 4 10575 39831 16 7 1.46 1.39/1.47 o -4 1.39/1.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.48 c 27 1576 3138 13621 4 10618 39847 34 18 1.47 1.39/1.48 o -5 1.49/1.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.49/1.57 c 74 1576 3188 15156 4 10727 39864 84 50 1.48 1.49/1.57 c 175 1576 3293 18676 5 10942 43851 189 115 1.52 1.49/1.57 o -6 841.48/841.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 841.48/841.88 c 341 1576 3460 23127 6 11282 39881 356 216 1.57 841.48/841.88 c 441 1576 3564 25319 7 11496 43870 460 271 1.62 841.48/841.88 c 691 1576 3817 33477 8 12002 48258 713 407 1.69 841.48/841.88 c 1166 1576 4324 48836 11 13016 53084 1220 644 1.81 841.48/841.88 c 1979 1576 5204 76086 14 14836 58393 2100 990 2.00 841.48/841.88 c 3299 1576 6677 134458 20 17839 64233 3573 1367 2.41 841.48/841.88 c 5381 1576 9044 239601 26 22730 70657 5940 1652 3.26 841.48/841.88 c 8606 1576 12796 411705 32 30441 77723 9692 1596 5.39 841.48/841.88 c 13542 1576 18492 687192 37 42278 85496 15388 1357 9.98 841.48/841.88 c 21048 1576 27310 1131257 41 60484 94046 24206 879 23.93 841.48/841.88 c 32409 1576 41103 1872190 45 88798 103451 37999 600 53.99 841.48/841.88 c 49555 1576 60967 2897102 47 129454 113797 57863 432 114.68 841.48/841.88 c 75374 1539 90768 4422925 48 190400 125177 87664 285 263.75 841.48/841.88 c 114207 1539 25601 980962 38 56530 137695 22497 166 684.57 841.48/841.88 o -7 1797.93/1798.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.93/1798.68 c 155003 1539 70811 3381069 47 149391 39895 67707 184 841.57 1797.93/1798.68 c 155103 1539 19826 750712 37 44513 43885 16722 178 870.35 1797.93/1798.68 c 155354 1539 20084 762635 37 45029 48274 16980 178 870.49 1797.93/1798.68 c 155829 1539 20589 782201 37 46047 53102 17485 178 871.16 1797.93/1798.68 c 156642 1539 21469 812444 37 47839 58413 18365 179 872.16 1797.93/1798.68 c 157962 1539 22943 871950 38 50853 64255 19839 180 874.04 1797.93/1798.68 c 160043 1539 25351 984032 38 55734 70681 22247 182 877.40 1797.93/1798.68 c 163267 1539 29052 1162113 40 63308 77750 25948 184 883.32 1797.93/1798.68 c 168203 1539 34899 1453442 41 75287 85526 31795 187 896.60 1797.93/1798.68 c 175709 1539 44075 1934700 43 93899 94079 40971 190 920.69 1797.93/1798.68 c 187070 1539 58300 2700083 46 122658 103487 55196 191 976.89 1797.93/1798.68 c 204215 1539 77797 3642686 46 162158 113836 74693 192 1061.36 1797.93/1798.68 c 230036 1539 109340 5254414 48 226459 125220 106236 180 1271.49 1797.93/1798.68 c 268868 1539 53034 2351900 44 111836 137743 49930 169 1587.35 1797.93/1798.68 c Resources Exceeded 1797.93/1798.68 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 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -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.93/1798.68 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.93/1798.68 c 34 304121 61457 473361 95078 4535493 91974 169 1798.02 1797.93/1798.68 c Objective: -7 1797.93/1798.68 s SATISFIABLE 1797.93/1798.68 c Total time: 1798.02 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-2671029-1276715177/watcher-2671029-1276715177 -o /tmp/evaluation-result-2671029-1276715177/solver-2671029-1276715177 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2671029-1276715177.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: 0.98 1.01 1.00 2/106 12770 /proc/meminfo: memFree=1829020/2059040 swapFree=4139724/4192956 [pid=12770] ppid=12768 vsize=18724 CPUtime=0 /proc/12770/stat : 12770 (bsolo_pb10) R 12768 12770 12638 0 -1 4202496 318 0 0 0 0 0 0 0 19 0 1 0 47119356 19173376 236 1992294400 134512640 137138936 4287331152 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12770/statm: 4681 236 170 642 0 4008 0 [startup+0.0213899 s] /proc/loadavg: 0.98 1.01 1.00 2/106 12770 /proc/meminfo: memFree=1829020/2059040 swapFree=4139724/4192956 [pid=12770] ppid=12768 vsize=11184 CPUtime=0.01 /proc/12770/stat : 12770 (bsolo_pb10) R 12768 12770 12638 0 -1 4202496 404 0 0 0 1 0 0 0 19 0 1 0 47119356 11452416 322 1992294400 134512640 137138936 4287331152 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12770/statm: 2796 322 189 642 0 2123 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 11184 [startup+0.101407 s] /proc/loadavg: 0.98 1.01 1.00 2/106 12770 /proc/meminfo: memFree=1829020/2059040 swapFree=4139724/4192956 [pid=12770] ppid=12768 vsize=11600 CPUtime=0.09 /proc/12770/stat : 12770 (bsolo_pb10) R 12768 12770 12638 0 -1 4202496 565 0 0 0 9 0 0 0 19 0 1 0 47119356 11878400 454 1992294400 134512640 137138936 4287331152 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12770/statm: 2900 454 184 642 0 2256 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11600 [startup+0.30145 s] /proc/loadavg: 0.98 1.01 1.00 2/106 12770 /proc/meminfo: memFree=1829020/2059040 swapFree=4139724/4192956 [pid=12770] ppid=12768 vsize=11600 CPUtime=0.29 /proc/12770/stat : 12770 (bsolo_pb10) R 12768 12770 12638 0 -1 4202496 565 0 0 0 29 0 0 0 20 0 1 0 47119356 11878400 454 1992294400 134512640 137138936 4287331152 18446744073709551615 135984544 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12770/statm: 2900 454 184 642 0 2256 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11600 [startup+0.701534 s] /proc/loadavg: 0.98 1.01 1.00 2/106 12770 /proc/meminfo: memFree=1829020/2059040 swapFree=4139724/4192956 [pid=12770] ppid=12768 vsize=11600 CPUtime=0.69 /proc/12770/stat : 12770 (bsolo_pb10) R 12768 12770 12638 0 -1 4202496 565 0 0 0 69 0 0 0 20 0 1 0 47119356 11878400 454 1992294400 134512640 137138936 4287331152 18446744073709551615 136504021 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12770/statm: 2900 454 184 642 0 2256 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11600 [startup+1.5017 s] /proc/loadavg: 0.98 1.01 1.00 2/107 12771 /proc/meminfo: memFree=1828268/2059040 swapFree=4139724/4192956 [pid=12770] ppid=12768 vsize=11732 CPUtime=1.49 /proc/12770/stat : 12770 (bsolo_pb10) R 12768 12770 12638 0 -1 4202496 611 0 0 0 149 0 0 0 22 0 1 0 47119356 12013568 500 1992294400 134512640 137138936 4287331152 18446744073709551615 134551040 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12770/statm: 2933 500 192 642 0 2289 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11732 [startup+3.10205 s] /proc/loadavg: 0.98 1.01 1.00 2/107 12771 /proc/meminfo: memFree=1826656/2059040 swapFree=4139724/4192956 [pid=12770] ppid=12768 vsize=14932 CPUtime=3.09 /proc/12770/stat : 12770 (bsolo_pb10) R 12768 12770 12638 0 -1 4202496 1392 0 0 0 307 2 0 0 25 0 1 0 47119356 15290368 1281 1992294400 134512640 137138936 4287331152 18446744073709551615 134542351 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12770/statm: 3733 1281 192 642 0 3089 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14932 [startup+6.30073 s] /proc/loadavg: 0.98 1.01 1.00 2/107 12771 /proc/meminfo: memFree=1821572/2059040 swapFree=4139724/4192956 [pid=12770] ppid=12768 vsize=18832 CPUtime=6.29 /proc/12770/stat : 12770 (bsolo_pb10) R 12768 12770 12638 0 -1 4202496 2379 0 0 0 625 4 0 0 25 0 1 0 47119356 19283968 2268 1992294400 134512640 137138936 4287331152 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12770/statm: 4708 2268 192 642 0 4064 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18832 [startup+12.7011 s] /proc/loadavg: 0.98 1.01 1.00 2/107 12771 /proc/meminfo: memFree=1816240/2059040 swapFree=4139724/4192956 [pid=12770] ppid=12768 vsize=23504 CPUtime=12.68 /proc/12770/stat : 12770 (bsolo_pb10) R 12768 12770 12638 0 -1 4202496 3547 0 0 0 1261 7 0 0 25 0 1 0 47119356 24068096 3436 1992294400 134512640 137138936 4287331152 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12770/statm: 5876 3436 192 642 0 5232 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 23504 [startup+25.5008 s] /proc/loadavg: 0.98 1.01 1.00 2/107 12771 /proc/meminfo: memFree=1810164/2059040 swapFree=4139724/4192956 [pid=12770] ppid=12768 vsize=29436 CPUtime=25.48 /proc/12770/stat : 12770 (bsolo_pb10) R 12768 12770 12638 0 -1 4202496 5029 0 0 0 2535 13 0 0 25 0 1 0 47119356 30142464 4918 1992294400 134512640 137138936 4287331152 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12770/statm: 7359 4918 192 642 0 6715 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 29436 [startup+51.1013 s] /proc/loadavg: 0.99 1.00 1.00 2/107 12773 /proc/meminfo: memFree=1800864/2059040 swapFree=4139724/4192956 [pid=12770] ppid=12768 vsize=38712 CPUtime=51.07 /proc/12770/stat : 12770 (bsolo_pb10) R 12768 12770 12638 0 -1 4202496 7363 0 0 0 5087 20 0 0 25 0 1 0 47119356 39641088 7252 1992294400 134512640 137138936 4287331152 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12770/statm: 9678 7252 192 642 0 9034 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 38712 [startup+102.308 s] /proc/loadavg: 0.99 1.00 1.00 2/107 12775 /proc/meminfo: memFree=1786480/2059040 swapFree=4139724/4192956 [pid=12770] ppid=12768 vsize=52792 CPUtime=102.26 /proc/12770/stat : 12770 (bsolo_pb10) R 12768 12770 12638 0 -1 4202496 10857 0 0 0 10193 33 0 0 25 0 1 0 47119356 54059008 10746 1992294400 134512640 137138936 4287331152 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12770/statm: 13198 10746 192 642 0 12554 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 52792 [startup+162.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 12775 /proc/meminfo: memFree=1775072/2059040 swapFree=4139724/4192956 [pid=12770] ppid=12768 vsize=64268 CPUtime=162.23 /proc/12770/stat : 12770 (bsolo_pb10) R 12768 12770 12638 0 -1 4202496 13726 0 0 0 16180 43 0 0 25 0 1 0 47119356 65810432 13615 1992294400 134512640 137138936 4287331152 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12770/statm: 16067 13615 192 642 0 15423 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 64268 [startup+222.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 12777 /proc/meminfo: memFree=1766020/2059040 swapFree=4139724/4192956 [pid=12770] ppid=12768 vsize=73116 CPUtime=222.2 /proc/12770/stat : 12770 (bsolo_pb10) R 12768 12770 12638 0 -1 4202496 15948 0 0 0 22170 50 0 0 25 0 1 0 47119356 74870784 15837 1992294400 134512640 137138936 4287331152 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12770/statm: 18279 15837 192 642 0 17635 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 73116 [startup+282.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 12779 /proc/meminfo: memFree=1759076/2059040 swapFree=4139724/4192956 [pid=12770] ppid=12768 vsize=80128 CPUtime=282.18 /proc/12770/stat : 12770 (bsolo_pb10) R 12768 12770 12638 0 -1 4202496 17701 0 0 0 28162 56 0 0 25 0 1 0 47119356 82051072 17590 1992294400 134512640 137138936 4287331152 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12770/statm: 20032 17590 192 642 0 19388 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 80128 [startup+342.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 12781 /proc/meminfo: memFree=1753372/2059040 swapFree=4139724/4192956 [pid=12770] ppid=12768 vsize=85748 CPUtime=342.16 /proc/12770/stat : 12770 (bsolo_pb10) R 12768 12770 12638 0 -1 4202496 19103 0 0 0 34155 61 0 0 25 0 1 0 47119356 87805952 18992 1992294400 134512640 137138936 4287331152 18446744073709551615 136506277 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12770/statm: 21437 18992 192 642 0 20793 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 85748 [startup+402.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 12783 /proc/meminfo: memFree=1747172/2059040 swapFree=4139724/4192956 [pid=12770] ppid=12768 vsize=91932 CPUtime=402.14 /proc/12770/stat : 12770 (bsolo_pb10) R 12768 12770 12638 0 -1 4202496 20655 0 0 0 40147 67 0 0 25 0 1 0 47119356 94138368 20544 1992294400 134512640 137138936 4287331152 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12770/statm: 22983 20544 192 642 0 22339 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 91932 [startup+462.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 12785 /proc/meminfo: memFree=1740600/2059040 swapFree=4139724/4192956 [pid=12770] ppid=12768 vsize=97924 CPUtime=462.11 /proc/12770/stat : 12770 (bsolo_pb10) R 12768 12770 12638 0 -1 4202496 22140 0 0 0 46138 73 0 0 25 0 1 0 47119356 100274176 22029 1992294400 134512640 137138936 4287331152 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12770/statm: 24481 22029 192 642 0 23837 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 97924 [startup+522.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 12788 /proc/meminfo: memFree=1736012/2059040 swapFree=4139724/4192956 [pid=12770] ppid=12768 vsize=102276 CPUtime=522.09 /proc/12770/stat : 12770 (bsolo_pb10) R 12768 12770 12638 0 -1 4202496 23234 0 0 0 52132 77 0 0 25 0 1 0 47119356 104730624 23123 1992294400 134512640 137138936 4287331152 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12770/statm: 25569 23123 192 642 0 24925 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 102276 [startup+582.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 12790 /proc/meminfo: memFree=1730804/2059040 swapFree=4139724/4192956 [pid=12770] ppid=12768 vsize=107380 CPUtime=582.07 /proc/12770/stat : 12770 (bsolo_pb10) R 12768 12770 12638 0 -1 4202496 24532 0 0 0 58124 83 0 0 25 0 1 0 47119356 109957120 24421 1992294400 134512640 137138936 4287331152 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12770/statm: 26845 24421 192 642 0 26201 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 107380 [startup+642.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 12792 /proc/meminfo: memFree=1728572/2059040 swapFree=4139724/4192956 [pid=12770] ppid=12768 vsize=109096 CPUtime=642.06 /proc/12770/stat : 12770 (bsolo_pb10) R 12768 12770 12638 0 -1 4202496 25077 0 0 0 64121 85 0 0 25 0 1 0 47119356 111714304 24842 1992294400 134512640 137138936 4287331152 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12770/statm: 27274 24842 192 642 0 26630 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 109096 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1728572/2059040 swapFree=4139724/4192956 [pid=12770] ppid=12768 vsize=109452 CPUtime=1121.88 /proc/12770/stat : 12770 (bsolo_pb10) R 12768 12770 12638 0 -1 4202496 25143 0 0 0 112051 137 0 0 25 0 1 0 47119356 112078848 24908 1992294400 134512640 137138936 4287331152 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12770/statm: 27363 24908 192 642 0 26719 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 109452 [startup+1182.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 12806 /proc/meminfo: memFree=1728448/2059040 swapFree=4139724/4192956 [pid=12770] ppid=12768 vsize=109452 CPUtime=1181.86 /proc/12770/stat : 12770 (bsolo_pb10) R 12768 12770 12638 0 -1 4202496 25143 0 0 0 118044 142 0 0 25 0 1 0 47119356 112078848 24908 1992294400 134512640 137138936 4287331152 18446744073709551615 134542402 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12770/statm: 27363 24908 192 642 0 26719 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 109452 [startup+1242.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 12808 /proc/meminfo: memFree=1728200/2059040 swapFree=4139724/4192956 [pid=12770] ppid=12768 vsize=109452 CPUtime=1241.83 /proc/12770/stat : 12770 (bsolo_pb10) R 12768 12770 12638 0 -1 4202496 25143 0 0 0 124037 146 0 0 25 0 1 0 47119356 112078848 24908 1992294400 134512640 137138936 4287331152 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12770/statm: 27363 24908 192 642 0 26719 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 109452 [startup+1302.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 12810 /proc/meminfo: memFree=1728076/2059040 swapFree=4139724/4192956 [pid=12770] ppid=12768 vsize=109452 CPUtime=1301.82 /proc/12770/stat : 12770 (bsolo_pb10) R 12768 12770 12638 0 -1 4202496 25143 0 0 0 130032 150 0 0 25 0 1 0 47119356 112078848 24908 1992294400 134512640 137138936 4287331152 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12770/statm: 27363 24908 192 642 0 26719 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 109452 [startup+1362.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 12810 /proc/meminfo: memFree=1728200/2059040 swapFree=4139724/4192956 [pid=12770] ppid=12768 vsize=109452 CPUtime=1361.79 /proc/12770/stat : 12770 (bsolo_pb10) R 12768 12770 12638 0 -1 4202496 25143 0 0 0 136025 154 0 0 25 0 1 0 47119356 112078848 24908 1992294400 134512640 137138936 4287331152 18446744073709551615 134542375 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12770/statm: 27363 24908 192 642 0 26719 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 109452 [startup+1422.31 s] /proc/loadavg: 0.99 1.00 1.00 2/107 12812 /proc/meminfo: memFree=1728200/2059040 swapFree=4139724/4192956 [pid=12770] ppid=12768 vsize=109452 CPUtime=1421.77 /proc/12770/stat : 12770 (bsolo_pb10) R 12768 12770 12638 0 -1 4202496 25143 0 0 0 142021 156 0 0 25 0 1 0 47119356 112078848 24908 1992294400 134512640 137138936 4287331152 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12770/statm: 27363 24908 192 642 0 26719 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 109452 [startup+1482.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 12814 /proc/meminfo: memFree=1728200/2059040 swapFree=4139724/4192956 [pid=12770] ppid=12768 vsize=109664 CPUtime=1481.74 /proc/12770/stat : 12770 (bsolo_pb10) R 12768 12770 12638 0 -1 4202496 25196 0 0 0 148015 159 0 0 25 0 1 0 47119356 112295936 24961 1992294400 134512640 137138936 4287331152 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12770/statm: 27416 24961 192 642 0 26772 0 Current children cumulated CPU time (s) 1481.74 Current children cumulated vsize (KiB) 109664 [startup+1542.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 12816 /proc/meminfo: memFree=1728076/2059040 swapFree=4139724/4192956 [pid=12770] ppid=12768 vsize=109664 CPUtime=1541.72 /proc/12770/stat : 12770 (bsolo_pb10) R 12768 12770 12638 0 -1 4202496 25196 0 0 0 154010 162 0 0 25 0 1 0 47119356 112295936 24961 1992294400 134512640 137138936 4287331152 18446744073709551615 136297617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12770/statm: 27416 24961 192 642 0 26772 0 Current children cumulated CPU time (s) 1541.72 Current children cumulated vsize (KiB) 109664 [startup+1602.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 12818 /proc/meminfo: memFree=1727952/2059040 swapFree=4139724/4192956 [pid=12770] ppid=12768 vsize=109664 CPUtime=1601.7 /proc/12770/stat : 12770 (bsolo_pb10) R 12768 12770 12638 0 -1 4202496 25196 0 0 0 159998 172 0 0 25 0 1 0 47119356 112295936 24961 1992294400 134512640 137138936 4287331152 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12770/statm: 27416 24961 192 642 0 26772 0 Current children cumulated CPU time (s) 1601.7 Current children cumulated vsize (KiB) 109664 [startup+1662.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 12818 /proc/meminfo: memFree=1727952/2059040 swapFree=4139724/4192956 [pid=12770] ppid=12768 vsize=109664 CPUtime=1661.68 /proc/12770/stat : 12770 (bsolo_pb10) R 12768 12770 12638 0 -1 4202496 25196 0 0 0 165989 179 0 0 25 0 1 0 47119356 112295936 24961 1992294400 134512640 137138936 4287331152 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12770/statm: 27416 24961 192 642 0 26772 0 Current children cumulated CPU time (s) 1661.68 Current children cumulated vsize (KiB) 109664 [startup+1722.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 12820 /proc/meminfo: memFree=1727828/2059040 swapFree=4139724/4192956 [pid=12770] ppid=12768 vsize=109664 CPUtime=1721.66 /proc/12770/stat : 12770 (bsolo_pb10) R 12768 12770 12638 0 -1 4202496 25196 0 0 0 171981 185 0 0 25 0 1 0 47119356 112295936 24961 1992294400 134512640 137138936 4287331152 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12770/statm: 27416 24961 192 642 0 26772 0 Current children cumulated CPU time (s) 1721.66 Current children cumulated vsize (KiB) 109664 [startup+1782.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 12822 /proc/meminfo: memFree=1727580/2059040 swapFree=4139724/4192956 [pid=12770] ppid=12768 vsize=109664 CPUtime=1781.64 /proc/12770/stat : 12770 (bsolo_pb10) R 12768 12770 12638 0 -1 4202496 25196 0 0 0 177975 189 0 0 25 0 1 0 47119356 112295936 24961 1992294400 134512640 137138936 4287331152 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12770/statm: 27416 24961 192 642 0 26772 0 Current children cumulated CPU time (s) 1781.64 Current children cumulated vsize (KiB) 109664 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 0.99 1.00 1.00 2/107 12822 /proc/meminfo: memFree=1727580/2059040 swapFree=4139724/4192956 [pid=12770] ppid=12768 vsize=109664 CPUtime=1791.24 /proc/12770/stat : 12770 (bsolo_pb10) R 12768 12770 12638 0 -1 4202496 25196 0 0 0 178934 190 0 0 25 0 1 0 47119356 112295936 24961 1992294400 134512640 137138936 4287331152 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12770/statm: 27416 24961 192 642 0 26772 0 Current children cumulated CPU time (s) 1791.24 Current children cumulated vsize (KiB) 109664 [startup+1795.1 s] /proc/loadavg: 0.99 1.00 1.00 2/107 12822 /proc/meminfo: memFree=1727580/2059040 swapFree=4139724/4192956 [pid=12770] ppid=12768 vsize=109664 CPUtime=1794.44 /proc/12770/stat : 12770 (bsolo_pb10) R 12768 12770 12638 0 -1 4202496 25196 0 0 0 179254 190 0 0 25 0 1 0 47119356 112295936 24961 1992294400 134512640 137138936 4287331152 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12770/statm: 27416 24961 192 642 0 26772 0 Current children cumulated CPU time (s) 1794.44 Current children cumulated vsize (KiB) 109664 [startup+1796.7 s] /proc/loadavg: 0.99 1.00 1.00 2/107 12822 /proc/meminfo: memFree=1727580/2059040 swapFree=4139724/4192956 [pid=12770] ppid=12768 vsize=109664 CPUtime=1796.03 /proc/12770/stat : 12770 (bsolo_pb10) R 12768 12770 12638 0 -1 4202496 25196 0 0 0 179413 190 0 0 25 0 1 0 47119356 112295936 24961 1992294400 134512640 137138936 4287331152 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12770/statm: 27416 24961 192 642 0 26772 0 Current children cumulated CPU time (s) 1796.03 Current children cumulated vsize (KiB) 109664 [startup+1797.5 s] /proc/loadavg: 0.99 1.00 1.00 2/107 12822 /proc/meminfo: memFree=1727580/2059040 swapFree=4139724/4192956 [pid=12770] ppid=12768 vsize=109664 CPUtime=1796.83 /proc/12770/stat : 12770 (bsolo_pb10) R 12768 12770 12638 0 -1 4202496 25196 0 0 0 179493 190 0 0 25 0 1 0 47119356 112295936 24961 1992294400 134512640 137138936 4287331152 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12770/statm: 27416 24961 192 642 0 26772 0 Current children cumulated CPU time (s) 1796.83 Current children cumulated vsize (KiB) 109664 [startup+1798.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 12822 /proc/meminfo: memFree=1727580/2059040 swapFree=4139724/4192956 [pid=12770] ppid=12768 vsize=109664 CPUtime=1797.63 /proc/12770/stat : 12770 (bsolo_pb10) R 12768 12770 12638 0 -1 4202496 25196 0 0 0 179573 190 0 0 25 0 1 0 47119356 112295936 24961 1992294400 134512640 137138936 4287331152 18446744073709551615 136521035 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12770/statm: 27416 24961 192 642 0 26772 0 Current children cumulated CPU time (s) 1797.63 Current children cumulated vsize (KiB) 109664 [startup+1798.51 s] /proc/loadavg: 0.99 1.00 1.00 2/107 12822 /proc/meminfo: memFree=1727580/2059040 swapFree=4139724/4192956 [pid=12770] ppid=12768 vsize=109664 CPUtime=1797.83 /proc/12770/stat : 12770 (bsolo_pb10) R 12768 12770 12638 0 -1 4202496 25196 0 0 0 179593 190 0 0 25 0 1 0 47119356 112295936 24961 1992294400 134512640 137138936 4287331152 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12770/statm: 27416 24961 192 642 0 26772 0 Current children cumulated CPU time (s) 1797.83 Current children cumulated vsize (KiB) 109664 [startup+1798.6 s] /proc/loadavg: 0.99 1.00 1.00 2/107 12822 /proc/meminfo: memFree=1727580/2059040 swapFree=4139724/4192956 [pid=12770] ppid=12768 vsize=109664 CPUtime=1797.93 /proc/12770/stat : 12770 (bsolo_pb10) R 12768 12770 12638 0 -1 4202496 25196 0 0 0 179603 190 0 0 25 0 1 0 47119356 112295936 24961 1992294400 134512640 137138936 4287331152 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12770/statm: 27416 24961 192 642 0 26772 0 Current children cumulated CPU time (s) 1797.93 Current children cumulated vsize (KiB) 109664 Child status: 0 Real time (s): 1798.7 CPU time (s): 1798.04 CPU user time (s): 1796.12 CPU system time (s): 1.91971 CPU usage (%): 99.9631 Max. virtual memory (cumulated for all children) (KiB): 109664 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.12 system time used= 1.91971 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 25197 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= 2 involuntary context switches= 5284 runsolver used 2.79657 second user time and 8.66068 second system time The end
Begin job on node010 at 2010-06-16 21:06:17 IDJOB=2671029 IDBENCH=48231 IDSOLVER=1162 FILE ID=node010/2671029-1276715177 PBS_JOBID= 11174162 Free space on /tmp= 62532 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_25_3.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2671029-1276715177/watcher-2671029-1276715177 -o /tmp/evaluation-result-2671029-1276715177/solver-2671029-1276715177 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2671029-1276715177.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e70f8e0da8fa345ba6e82dce1b0133d2 RANDOM SEED=419454955 node010.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.267 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.53 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.267 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1830044 kB Buffers: 18388 kB Cached: 118972 kB SwapCached: 5468 kB Active: 84664 kB Inactive: 64868 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1830044 kB SwapTotal: 4192956 kB SwapFree: 4139724 kB Dirty: 3908 kB Writeback: 0 kB AnonPages: 10868 kB Mapped: 12772 kB Slab: 57784 kB PageTables: 4080 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183484 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-2671029-1276715177.opb Free space on /tmp at the end= 62528 MiB End job on node010 at 2010-06-16 21:36:16