Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | SAT | -6 | 1798.03 | 1798.77 |
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 | 257.452 |
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.1 - 13/04/2009 : 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 Learning Strategy: Clause Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1878279-1245209714.opb 0.00/0.00 c File size is 117803 bytes. 0.00/0.01 c Highest Coefficient sum: 100 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.016 s 0.00/0.01 c Var: 1566 Constr: 3084 1516/102/1466 Lit: 12028 Watch. Lit: 10464 0.00/0.01 c Obj. Vars: 50 (3.19285 % of total variables) 1.20/1.29 c Pre-processing Time: 1.288 s 1.20/1.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.20/1.29 c 0 1566 3084 12028 3 10464 39303 0 0 1.29 1.20/1.29 c Switching off lower bounding mode. 1.20/1.29 o -1 1.20/1.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.20/1.29 c 0 1566 3085 12078 3 10467 39337 1 0 1.29 1.20/1.29 o -2 1.29/1.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.31 c 8 1566 3094 12559 4 10487 39353 10 6 1.29 1.29/1.31 c 108 1566 3194 20627 6 10687 43289 110 82 1.31 1.29/1.31 o -3 1.29/1.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.37 c 174 1566 3261 25244 7 10824 39370 177 132 1.32 1.29/1.37 c 274 1566 3361 32382 9 11024 43308 277 205 1.33 1.29/1.37 c 524 1566 3611 48290 13 11524 47639 527 381 1.37 1.29/1.37 o -4 1.39/1.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.41 c 546 1566 3634 49457 13 11574 39387 550 397 1.38 1.39/1.41 c 646 1566 3734 55008 14 11774 43326 650 462 1.40 1.39/1.41 o -5 7.29/7.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.29/7.32 c 791 1566 3880 63304 16 12071 39403 796 558 1.42 7.29/7.32 c 891 1566 3980 71068 17 12271 43344 896 622 1.43 7.29/7.32 c 1141 1566 4230 90995 21 12771 47679 1146 776 1.47 7.29/7.32 c 1616 1566 4705 127401 27 13721 52447 1621 1045 1.54 7.29/7.32 c 2429 1566 5518 179389 32 15347 57692 2434 1436 1.69 7.29/7.32 c 3749 1566 6838 273316 39 17987 63462 3754 1957 1.92 7.29/7.32 c 5830 1566 8919 406743 45 22149 69809 5835 2410 2.42 7.29/7.32 c 9053 1566 12142 629028 51 28595 76790 9058 2606 3.47 7.29/7.32 c 13989 1566 17078 963475 56 38467 84470 13994 2716 5.15 7.29/7.32 o -6 1797.96/1798.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.96/1798.73 c 17949 1566 21039 1216994 57 46395 39420 17955 2451 7.32 1797.96/1798.73 c 18049 1566 21139 1222863 57 46595 43363 18055 2447 7.37 1797.96/1798.73 c 18299 1566 21389 1239735 57 47095 47700 18305 2445 7.48 1797.96/1798.73 c 18774 1566 21864 1262137 57 48045 52471 18780 2377 7.90 1797.96/1798.73 c 19587 1566 22677 1320031 58 49671 57719 19593 2298 8.52 1797.96/1798.73 c 20907 1566 23997 1419879 59 52311 63491 20913 2313 9.04 1797.96/1798.73 c 22988 1566 26078 1569673 60 56473 69841 22994 2290 10.04 1797.96/1798.73 c 26211 1566 29301 1775242 60 62919 76826 26217 2177 12.04 1797.96/1798.73 c 31147 1566 34237 2144607 62 72791 84509 31153 1953 15.95 1797.96/1798.73 c 38653 1566 41743 2714899 65 87803 92960 38659 1504 25.69 1797.96/1798.73 c 50015 1566 53105 3563868 67 110527 102257 50021 1181 42.32 1797.96/1798.73 c 67159 1566 70249 4909071 69 144815 112483 67165 859 78.15 1797.96/1798.73 c 92978 1566 96068 6544817 68 196453 123732 92984 610 152.35 1797.96/1798.73 c 131811 1566 22443 1251064 55 49188 136106 19359 348 378.10 1797.96/1798.73 c 190163 1566 80795 5070908 62 165892 149717 77711 379 500.68 1797.96/1798.73 c 277795 1566 30852 1861994 60 66006 164689 27768 275 1008.84 1797.96/1798.73 c 409347 1566 162404 10719105 66 329110 181158 159320 273 1495.36 1797.96/1798.73 c Resources Exceeded 1797.96/1798.73 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.74 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.96/1798.74 c 34 440755 5401 456657 24456 1414763 21372 245 1798.00 1797.96/1798.74 c Objective: -6 1797.96/1798.74 s SATISFIABLE 1797.96/1798.74 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-1878279-1245209714/watcher-1878279-1245209714 -o /tmp/evaluation-result-1878279-1245209714/solver-1878279-1245209714 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878279-1245209714.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.92 0.98 0.92 3/65 5936 /proc/meminfo: memFree=1626720/2055912 swapFree=4192948/4192956 [pid=5936] ppid=5934 vsize=10828 CPUtime=0 /proc/5936/stat : 5936 (bsolo) R 5934 5936 5853 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 188569466 11087872 244 1992294400 134512640 137136520 4294956256 18446744073709551615 134531237 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5936/statm: 2707 244 175 640 0 2034 0 [startup+0.0553571 s] /proc/loadavg: 0.92 0.98 0.92 3/65 5936 /proc/meminfo: memFree=1626720/2055912 swapFree=4192948/4192956 [pid=5936] ppid=5934 vsize=11532 CPUtime=0.05 /proc/5936/stat : 5936 (bsolo) R 5934 5936 5853 0 -1 4194304 500 0 0 0 5 0 0 0 18 0 1 0 188569466 11808768 455 1992294400 134512640 137136520 4294956256 18446744073709551615 136502376 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5936/statm: 2883 455 189 640 0 2239 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 11532 [startup+0.102362 s] /proc/loadavg: 0.92 0.98 0.92 3/65 5936 /proc/meminfo: memFree=1626720/2055912 swapFree=4192948/4192956 [pid=5936] ppid=5934 vsize=11532 CPUtime=0.1 /proc/5936/stat : 5936 (bsolo) R 5934 5936 5853 0 -1 4194304 500 0 0 0 10 0 0 0 18 0 1 0 188569466 11808768 455 1992294400 134512640 137136520 4294956256 18446744073709551615 134543806 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5936/statm: 2883 455 189 640 0 2239 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 11532 [startup+0.302382 s] /proc/loadavg: 0.92 0.98 0.92 3/65 5936 /proc/meminfo: memFree=1626720/2055912 swapFree=4192948/4192956 [pid=5936] ppid=5934 vsize=11532 CPUtime=0.3 /proc/5936/stat : 5936 (bsolo) R 5934 5936 5853 0 -1 4194304 500 0 0 0 30 0 0 0 19 0 1 0 188569466 11808768 455 1992294400 134512640 137136520 4294956256 18446744073709551615 134544647 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5936/statm: 2883 455 189 640 0 2239 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 11532 [startup+0.701425 s] /proc/loadavg: 0.92 0.98 0.92 3/65 5936 /proc/meminfo: memFree=1626720/2055912 swapFree=4192948/4192956 [pid=5936] ppid=5934 vsize=11532 CPUtime=0.7 /proc/5936/stat : 5936 (bsolo) R 5934 5936 5853 0 -1 4194304 500 0 0 0 70 0 0 0 23 0 1 0 188569466 11808768 455 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5936/statm: 2883 455 189 640 0 2239 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 11532 [startup+1.50151 s] /proc/loadavg: 0.92 0.98 0.92 2/66 5937 /proc/meminfo: memFree=1625624/2055912 swapFree=4192948/4192956 [pid=5936] ppid=5934 vsize=12876 CPUtime=1.49 /proc/5936/stat : 5936 (bsolo) R 5934 5936 5853 0 -1 4194304 850 0 0 0 149 0 0 0 25 0 1 0 188569466 13185024 805 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5936/statm: 3219 805 197 640 0 2575 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12876 [startup+3.10167 s] /proc/loadavg: 0.92 0.98 0.92 2/66 5937 /proc/meminfo: memFree=1621080/2055912 swapFree=4192948/4192956 [pid=5936] ppid=5934 vsize=19484 CPUtime=3.09 /proc/5936/stat : 5936 (bsolo) R 5934 5936 5853 0 -1 4194304 2491 0 0 0 308 1 0 0 25 0 1 0 188569466 19951616 2446 1992294400 134512640 137136520 4294956256 18446744073709551615 134544449 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5936/statm: 4871 2446 197 640 0 4227 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19484 [startup+6.302 s] /proc/loadavg: 0.93 0.98 0.92 2/66 5937 /proc/meminfo: memFree=1611160/2055912 swapFree=4192948/4192956 [pid=5936] ppid=5934 vsize=27352 CPUtime=6.29 /proc/5936/stat : 5936 (bsolo) R 5934 5936 5853 0 -1 4194304 4456 0 0 0 626 3 0 0 25 0 1 0 188569466 28008448 4411 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5936/statm: 6838 4411 197 640 0 6194 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 27352 [startup+12.7017 s] /proc/loadavg: 0.93 0.98 0.92 2/66 5937 /proc/meminfo: memFree=1599960/2055912 swapFree=4192948/4192956 [pid=5936] ppid=5934 vsize=37928 CPUtime=12.68 /proc/5936/stat : 5936 (bsolo) R 5934 5936 5853 0 -1 4194304 7113 0 0 0 1262 6 0 0 25 0 1 0 188569466 38838272 7068 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5936/statm: 9482 7068 197 640 0 8838 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 37928 [startup+25.502 s] /proc/loadavg: 0.95 0.98 0.92 2/66 5937 /proc/meminfo: memFree=1587104/2055912 swapFree=4192948/4192956 [pid=5936] ppid=5934 vsize=50072 CPUtime=25.48 /proc/5936/stat : 5936 (bsolo) R 5934 5936 5853 0 -1 4194304 10150 0 0 0 2537 11 0 0 25 0 1 0 188569466 51273728 10105 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5936/statm: 12518 10105 197 640 0 11874 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 50072 [startup+51.1017 s] /proc/loadavg: 0.96 0.98 0.92 2/66 5937 /proc/meminfo: memFree=1568416/2055912 swapFree=4192948/4192956 [pid=5936] ppid=5934 vsize=68684 CPUtime=51.06 /proc/5936/stat : 5936 (bsolo) R 5934 5936 5853 0 -1 4194304 14806 0 0 0 5089 17 0 0 25 0 1 0 188569466 70332416 14761 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5936/statm: 17171 14761 197 640 0 16527 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 68684 [startup+102.307 s] /proc/loadavg: 0.98 0.98 0.92 2/66 5937 /proc/meminfo: memFree=1547040/2055912 swapFree=4192948/4192956 [pid=5936] ppid=5934 vsize=89756 CPUtime=102.24 /proc/5936/stat : 5936 (bsolo) R 5934 5936 5853 0 -1 4194304 20071 0 0 0 10197 27 0 0 25 0 1 0 188569466 91910144 20026 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5936/statm: 22439 20026 197 640 0 21795 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 89756 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.92 2/66 5937 /proc/meminfo: memFree=1529760/2055912 swapFree=4192948/4192956 [pid=5936] ppid=5934 vsize=107072 CPUtime=162.22 /proc/5936/stat : 5936 (bsolo) R 5934 5936 5853 0 -1 4194304 24408 0 0 0 16186 36 0 0 25 0 1 0 188569466 109641728 24363 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5936/statm: 26768 24363 197 640 0 26124 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 107072 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.92 2/66 5937 /proc/meminfo: memFree=1513888/2055912 swapFree=4192948/4192956 [pid=5936] ppid=5934 vsize=122984 CPUtime=222.19 /proc/5936/stat : 5936 (bsolo) R 5934 5936 5853 0 -1 4194304 28363 0 0 0 22175 44 0 0 25 0 1 0 188569466 125935616 28318 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5936/statm: 30746 28318 197 640 0 30102 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 122984 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.92 2/66 5937 /proc/meminfo: memFree=1505120/2055912 swapFree=4192948/4192956 [pid=5936] ppid=5934 vsize=131684 CPUtime=282.16 /proc/5936/stat : 5936 (bsolo) R 5934 5936 5853 0 -1 4194304 30548 0 0 0 28167 49 0 0 25 0 1 0 188569466 134844416 30503 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5936/statm: 32921 30503 197 640 0 32277 0 Current children cumulated CPU time (s) 282.16 Current children cumulated vsize (KiB) 131684 [startup+342.303 s] /proc/loadavg: 0.99 0.98 0.92 2/66 5937 /proc/meminfo: memFree=1501088/2055912 swapFree=4192948/4192956 [pid=5936] ppid=5934 vsize=135412 CPUtime=342.14 /proc/5936/stat : 5936 (bsolo) R 5934 5936 5853 0 -1 4194304 31612 0 0 0 34162 52 0 0 25 0 1 0 188569466 138661888 31444 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5936/statm: 33853 31444 197 640 0 33209 0 Current children cumulated CPU time (s) 342.14 Current children cumulated vsize (KiB) 135412 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.92 2/66 5937 /proc/meminfo: memFree=1501152/2055912 swapFree=4192948/4192956 [pid=5936] ppid=5934 vsize=135412 CPUtime=402.12 /proc/5936/stat : 5936 (bsolo) R 5934 5936 5853 0 -1 4194304 31612 0 0 0 40156 56 0 0 25 0 1 0 188569466 138661888 31444 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5936/statm: 33853 31444 197 640 0 33209 0 Current children cumulated CPU time (s) 402.12 Current children cumulated vsize (KiB) 135412 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.92 2/66 5937 /proc/meminfo: memFree=1501152/2055912 swapFree=4192948/4192956 [pid=5936] ppid=5934 vsize=135412 CPUtime=462.09 /proc/5936/stat : 5936 (bsolo) R 5934 5936 5853 0 -1 4194304 31612 0 0 0 46147 62 0 0 25 0 1 0 188569466 138661888 31444 1992294400 134512640 137136520 4294956256 18446744073709551615 134544384 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5936/statm: 33853 31444 197 640 0 33209 0 Current children cumulated CPU time (s) 462.09 Current children cumulated vsize (KiB) 135412 [startup+522.303 s] /proc/loadavg: 0.99 0.98 0.92 2/66 5937 /proc/meminfo: memFree=1501152/2055912 swapFree=4192948/4192956 [pid=5936] ppid=5934 vsize=135412 CPUtime=522.07 /proc/5936/stat : 5936 (bsolo) R 5934 5936 5853 0 -1 4194304 31612 0 0 0 52141 66 0 0 25 0 1 0 188569466 138661888 31444 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5936/statm: 33853 31444 197 640 0 33209 0 Current children cumulated CPU time (s) 522.07 Current children cumulated vsize (KiB) 135412 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.92 2/66 5937 /proc/meminfo: memFree=1501152/2055912 swapFree=4192948/4192956 [pid=5936] ppid=5934 vsize=135412 CPUtime=582.04 /proc/5936/stat : 5936 (bsolo) R 5934 5936 5853 0 -1 4194304 31612 0 0 0 58133 71 0 0 25 0 1 0 188569466 138661888 31444 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5936/statm: 33853 31444 197 640 0 33209 0 Current children cumulated CPU time (s) 582.04 Current children cumulated vsize (KiB) 135412 [startup+642.303 s] /proc/loadavg: 0.99 0.98 0.92 2/66 5937 /proc/meminfo: memFree=1501088/2055912 swapFree=4192948/4192956 [pid=5936] ppid=5934 vsize=135412 CPUtime=642.03 /proc/5936/stat : 5936 (bsolo) R 5934 5936 5853 0 -1 4194304 31612 0 0 0 64126 77 0 0 25 0 1 0 188569466 138661888 31444 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5936/statm: 33853 31444 197 640 0 33209 0 Current children cumulated CPU time (s) 642.03 Current children cumulated vsize (KiB) 135412 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1479648/2055912 swapFree=4192948/4192956 [pid=5936] ppid=5934 vsize=156600 CPUtime=1061.85 /proc/5936/stat : 5936 (bsolo) R 5934 5936 5853 0 -1 4194304 37050 0 0 0 106082 103 0 0 25 0 1 0 188569466 160358400 36734 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5936/statm: 39150 36734 197 640 0 38506 0 Current children cumulated CPU time (s) 1061.85 Current children cumulated vsize (KiB) 156600 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.92 2/66 5939 /proc/meminfo: memFree=1479712/2055912 swapFree=4192948/4192956 [pid=5936] ppid=5934 vsize=156600 CPUtime=1121.83 /proc/5936/stat : 5936 (bsolo) R 5934 5936 5853 0 -1 4194304 37050 0 0 0 112075 108 0 0 25 0 1 0 188569466 160358400 36734 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5936/statm: 39150 36734 197 640 0 38506 0 Current children cumulated CPU time (s) 1121.83 Current children cumulated vsize (KiB) 156600 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.92 2/66 5939 /proc/meminfo: memFree=1479712/2055912 swapFree=4192948/4192956 [pid=5936] ppid=5934 vsize=156600 CPUtime=1181.81 /proc/5936/stat : 5936 (bsolo) R 5934 5936 5853 0 -1 4194304 37050 0 0 0 118068 113 0 0 25 0 1 0 188569466 160358400 36734 1992294400 134512640 137136520 4294956256 18446744073709551615 136500521 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5936/statm: 39150 36734 197 640 0 38506 0 Current children cumulated CPU time (s) 1181.81 Current children cumulated vsize (KiB) 156600 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.92 2/66 5939 /proc/meminfo: memFree=1479648/2055912 swapFree=4192948/4192956 [pid=5936] ppid=5934 vsize=156600 CPUtime=1241.78 /proc/5936/stat : 5936 (bsolo) R 5934 5936 5853 0 -1 4194304 37050 0 0 0 124062 116 0 0 25 0 1 0 188569466 160358400 36734 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5936/statm: 39150 36734 197 640 0 38506 0 Current children cumulated CPU time (s) 1241.78 Current children cumulated vsize (KiB) 156600 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.92 2/66 5939 /proc/meminfo: memFree=1479648/2055912 swapFree=4192948/4192956 [pid=5936] ppid=5934 vsize=156600 CPUtime=1301.75 /proc/5936/stat : 5936 (bsolo) R 5934 5936 5853 0 -1 4194304 37050 0 0 0 130054 121 0 0 25 0 1 0 188569466 160358400 36734 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5936/statm: 39150 36734 197 640 0 38506 0 Current children cumulated CPU time (s) 1301.75 Current children cumulated vsize (KiB) 156600 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.92 2/66 5939 /proc/meminfo: memFree=1479648/2055912 swapFree=4192948/4192956 [pid=5936] ppid=5934 vsize=156600 CPUtime=1361.73 /proc/5936/stat : 5936 (bsolo) R 5934 5936 5853 0 -1 4194304 37050 0 0 0 136048 125 0 0 25 0 1 0 188569466 160358400 36734 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5936/statm: 39150 36734 197 640 0 38506 0 Current children cumulated CPU time (s) 1361.73 Current children cumulated vsize (KiB) 156600 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.92 2/66 5939 /proc/meminfo: memFree=1479648/2055912 swapFree=4192948/4192956 [pid=5936] ppid=5934 vsize=156600 CPUtime=1421.71 /proc/5936/stat : 5936 (bsolo) R 5934 5936 5853 0 -1 4194304 37050 0 0 0 142042 129 0 0 25 0 1 0 188569466 160358400 36734 1992294400 134512640 137136520 4294956256 18446744073709551615 134544714 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5936/statm: 39150 36734 197 640 0 38506 0 Current children cumulated CPU time (s) 1421.71 Current children cumulated vsize (KiB) 156600 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.92 2/66 5939 /proc/meminfo: memFree=1473760/2055912 swapFree=4192948/4192956 [pid=5936] ppid=5934 vsize=162752 CPUtime=1481.68 /proc/5936/stat : 5936 (bsolo) R 5934 5936 5853 0 -1 4194304 38588 0 0 0 148035 133 0 0 25 0 1 0 188569466 166658048 38272 1992294400 134512640 137136520 4294956256 18446744073709551615 135982494 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5936/statm: 40688 38272 197 640 0 40044 0 Current children cumulated CPU time (s) 1481.68 Current children cumulated vsize (KiB) 162752 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.92 2/66 5939 /proc/meminfo: memFree=1464736/2055912 swapFree=4192948/4192956 [pid=5936] ppid=5934 vsize=171744 CPUtime=1541.66 /proc/5936/stat : 5936 (bsolo) R 5934 5936 5853 0 -1 4194304 40832 0 0 0 154028 138 0 0 25 0 1 0 188569466 175865856 40516 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5936/statm: 42936 40516 197 640 0 42292 0 Current children cumulated CPU time (s) 1541.66 Current children cumulated vsize (KiB) 171744 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.92 2/66 5945 /proc/meminfo: memFree=1454304/2055912 swapFree=4192948/4192956 [pid=5936] ppid=5934 vsize=182060 CPUtime=1601.64 /proc/5936/stat : 5936 (bsolo) R 5934 5936 5853 0 -1 4194304 43418 0 0 0 160021 143 0 0 25 0 1 0 188569466 186429440 43102 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5936/statm: 45515 43102 197 640 0 44871 0 Current children cumulated CPU time (s) 1601.64 Current children cumulated vsize (KiB) 182060 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.92 2/66 5945 /proc/meminfo: memFree=1448544/2055912 swapFree=4192948/4192956 [pid=5936] ppid=5934 vsize=187560 CPUtime=1661.6 /proc/5936/stat : 5936 (bsolo) R 5934 5936 5853 0 -1 4194304 44982 0 0 0 166013 147 0 0 25 0 1 0 188569466 192061440 44487 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5936/statm: 46890 44487 197 640 0 46246 0 Current children cumulated CPU time (s) 1661.6 Current children cumulated vsize (KiB) 187560 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.92 2/66 5945 /proc/meminfo: memFree=1448544/2055912 swapFree=4192948/4192956 [pid=5936] ppid=5934 vsize=187560 CPUtime=1721.58 /proc/5936/stat : 5936 (bsolo) R 5934 5936 5853 0 -1 4194304 44982 0 0 0 172011 147 0 0 25 0 1 0 188569466 192061440 44487 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5936/statm: 46890 44487 197 640 0 46246 0 Current children cumulated CPU time (s) 1721.58 Current children cumulated vsize (KiB) 187560 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.92 2/66 5945 /proc/meminfo: memFree=1448416/2055912 swapFree=4192948/4192956 [pid=5936] ppid=5934 vsize=187560 CPUtime=1781.56 /proc/5936/stat : 5936 (bsolo) R 5934 5936 5853 0 -1 4194304 44982 0 0 0 178009 147 0 0 25 0 1 0 188569466 192061440 44487 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5936/statm: 46890 44487 197 640 0 46246 0 Current children cumulated CPU time (s) 1781.56 Current children cumulated vsize (KiB) 187560 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 0.99 0.98 0.92 2/66 5945 /proc/meminfo: memFree=1448480/2055912 swapFree=4192948/4192956 [pid=5936] ppid=5934 vsize=187560 CPUtime=1791.16 /proc/5936/stat : 5936 (bsolo) R 5934 5936 5853 0 -1 4194304 44982 0 0 0 178969 147 0 0 25 0 1 0 188569466 192061440 44487 1992294400 134512640 137136520 4294956256 18446744073709551615 136501981 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5936/statm: 46890 44487 197 640 0 46246 0 Current children cumulated CPU time (s) 1791.16 Current children cumulated vsize (KiB) 187560 [startup+1795.1 s] /proc/loadavg: 0.99 0.98 0.92 2/66 5945 /proc/meminfo: memFree=1448480/2055912 swapFree=4192948/4192956 [pid=5936] ppid=5934 vsize=187560 CPUtime=1794.36 /proc/5936/stat : 5936 (bsolo) R 5934 5936 5853 0 -1 4194304 44982 0 0 0 179289 147 0 0 25 0 1 0 188569466 192061440 44487 1992294400 134512640 137136520 4294956256 18446744073709551615 134544428 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5936/statm: 46890 44487 197 640 0 46246 0 Current children cumulated CPU time (s) 1794.36 Current children cumulated vsize (KiB) 187560 [startup+1796.7 s] /proc/loadavg: 0.99 0.98 0.92 2/66 5945 /proc/meminfo: memFree=1448480/2055912 swapFree=4192948/4192956 [pid=5936] ppid=5934 vsize=187560 CPUtime=1795.96 /proc/5936/stat : 5936 (bsolo) R 5934 5936 5853 0 -1 4194304 44982 0 0 0 179448 148 0 0 25 0 1 0 188569466 192061440 44487 1992294400 134512640 137136520 4294956256 18446744073709551615 136509091 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5936/statm: 46890 44487 197 640 0 46246 0 Current children cumulated CPU time (s) 1795.96 Current children cumulated vsize (KiB) 187560 [startup+1797.5 s] /proc/loadavg: 0.99 0.98 0.92 2/66 5945 /proc/meminfo: memFree=1448480/2055912 swapFree=4192948/4192956 [pid=5936] ppid=5934 vsize=187560 CPUtime=1796.76 /proc/5936/stat : 5936 (bsolo) R 5934 5936 5853 0 -1 4194304 44982 0 0 0 179528 148 0 0 25 0 1 0 188569466 192061440 44487 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5936/statm: 46890 44487 197 640 0 46246 0 Current children cumulated CPU time (s) 1796.76 Current children cumulated vsize (KiB) 187560 [startup+1798.3 s] /proc/loadavg: 0.99 0.98 0.92 2/66 5945 /proc/meminfo: memFree=1448480/2055912 swapFree=4192948/4192956 [pid=5936] ppid=5934 vsize=187560 CPUtime=1797.56 /proc/5936/stat : 5936 (bsolo) R 5934 5936 5853 0 -1 4194304 44982 0 0 0 179608 148 0 0 25 0 1 0 188569466 192061440 44487 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5936/statm: 46890 44487 197 640 0 46246 0 Current children cumulated CPU time (s) 1797.56 Current children cumulated vsize (KiB) 187560 [startup+1798.7 s] /proc/loadavg: 0.99 0.98 0.92 2/66 5945 /proc/meminfo: memFree=1448480/2055912 swapFree=4192948/4192956 [pid=5936] ppid=5934 vsize=187560 CPUtime=1797.96 /proc/5936/stat : 5936 (bsolo) R 5934 5936 5853 0 -1 4194304 44982 0 0 0 179648 148 0 0 25 0 1 0 188569466 192061440 44487 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5936/statm: 46890 44487 197 640 0 46246 0 Current children cumulated CPU time (s) 1797.96 Current children cumulated vsize (KiB) 187560 Child status: 0 Real time (s): 1798.77 CPU time (s): 1798.03 CPU user time (s): 1796.52 CPU system time (s): 1.50877 CPU usage (%): 99.959 Max. virtual memory (cumulated for all children) (KiB): 188276 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.52 system time used= 1.50877 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 44984 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= 5 involuntary context switches= 5642 runsolver used 1.74173 second user time and 4.80627 second system time The end
Begin job on node78 at 2009-06-17 05:35:14 IDJOB=1878279 IDBENCH=48259 IDSOLVER=700 FILE ID=node78/1878279-1245209714 PBS_JOBID= 9368407 Free space on /tmp= 126860 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_25_4.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878279-1245209714/watcher-1878279-1245209714 -o /tmp/evaluation-result-1878279-1245209714/solver-1878279-1245209714 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878279-1245209714.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0c3fb28b3ecb8f1eba2bffa356ef5364 RANDOM SEED=2118524104 node78.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.227 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.227 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055912 kB MemFree: 1627264 kB Buffers: 53228 kB Cached: 287104 kB SwapCached: 8 kB Active: 177048 kB Inactive: 177600 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055912 kB LowFree: 1627264 kB SwapTotal: 4192956 kB SwapFree: 4192948 kB Dirty: 3972 kB Writeback: 0 kB Mapped: 24060 kB Slab: 59692 kB Committed_AS: 76040 kB PageTables: 1432 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1878279-1245209714.opb Free space on /tmp at the end= 126856 MiB End job on node78 at 2009-06-17 06:05:13