Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | SAT | -19 | 1798.04 | 1798.51 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_10_4.opb |
MD5SUM | edb32574ecafd14c2d1410b208d85a45 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -28 |
Best CPU time to get the best result obtained on this benchmark | 1789.59 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -30 |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 301 |
Number of constraints which are clauses | 100 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 201 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 200 |
Number of terms in the objective function | 100 |
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 | 100 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 2516 |
Sum of products size (including duplicates) | 5032 |
Number of different products | 1258 |
Sum of products size | 2516 |
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-2671116-1276719048.opb 0.00/0.00 c File size is 107458 bytes. 0.00/0.02 c Highest Coefficient sum: 200 0.00/0.02 c Parsing was ok!! 0.00/0.02 c Total parsing time: 0.019 s 0.01/0.02 c Var: 1458 Constr: 2818 1358/202/1258 Lit: 10664 Watch. Lit: 9208 0.01/0.02 c Obj. Vars: 100 (6.85871 % of total variables) 0.29/0.31 c Pre-processing Time: 0.317 s 0.29/0.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.31 c 0 1458 2818 10664 3 9208 20072 0 0 0.32 0.29/0.31 c Switching off lower bounding mode. 0.29/0.32 o -1 0.29/0.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.32 c 0 1458 2819 10764 3 9211 20139 1 0 0.32 0.29/0.32 o -2 0.39/0.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.40 c 2 1458 2822 11082 3 9219 20172 4 6 0.32 0.39/0.40 c 102 1458 2922 25911 8 9419 22190 104 288 0.35 0.39/0.40 o -3 1.00/1.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.01 c 267 1458 3088 51287 16 9754 20206 270 660 0.40 1.00/1.01 c 367 1458 3188 65888 20 9954 22227 370 834 0.44 1.00/1.01 c 617 1458 3438 103065 29 10454 24450 620 1170 0.53 1.00/1.01 c 1092 1458 3913 175188 44 11404 26896 1095 1580 0.69 1.00/1.01 c 1905 1458 4726 303149 64 13030 29586 1908 1992 0.96 1.00/1.01 o -15 1.00/1.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.03 c 2012 1458 4834 311115 64 13261 20606 2016 1978 1.02 1.00/1.03 o -16 1.10/1.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.10/1.15 c 2035 1458 4858 313535 64 13325 20639 2040 1975 1.03 1.10/1.15 c 2135 1458 4958 327437 66 13525 22703 2140 2012 1.06 1.10/1.15 c 2385 1458 5208 361954 69 14025 24974 2390 2092 1.14 1.10/1.15 o -17 84.07/84.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 84.07/84.18 c 2442 1458 5266 368181 69 14158 20672 2448 2117 1.15 84.07/84.18 c 2542 1458 5366 381771 71 14358 22740 2548 2137 1.19 84.07/84.18 c 2792 1458 5616 409564 72 14858 25015 2798 2260 1.24 84.07/84.18 c 3267 1458 6091 479919 78 15808 27517 3273 2369 1.38 84.07/84.18 c 4080 1458 6904 608891 88 17434 30269 4086 2520 1.62 84.07/84.18 c 5400 1458 8224 782596 95 20074 33296 5406 2580 2.09 84.07/84.18 c 7481 1458 10305 1074674 104 24236 36626 7487 2607 2.87 84.07/84.18 c 10704 1458 13528 1540803 113 30682 40289 10710 2570 4.16 84.07/84.18 c 15640 1458 18464 2253097 122 40554 44318 15646 2192 7.13 84.07/84.18 c 23146 1458 25970 3224067 124 55566 48750 23152 1934 11.96 84.07/84.18 c 34507 1458 37331 4784557 128 78288 53626 34513 1502 22.97 84.07/84.18 c 51651 1458 54475 7153816 131 112576 58989 51657 1056 48.90 84.07/84.18 c 77470 1458 31707 4196516 132 67003 64888 28889 925 83.67 84.07/84.18 o -18 87.07/87.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 87.07/87.16 c 77796 1458 32034 4220831 131 67675 20706 29216 924 84.16 87.07/87.16 c 77896 1458 13272 1626661 122 30134 22777 10454 895 86.98 87.07/87.16 c 78146 1458 13522 1659284 122 30634 25055 10704 897 87.08 87.07/87.16 o -19 1797.92/1798.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.92/1798.48 c 78368 1458 13745 1684162 122 31099 20739 10927 899 87.14 1797.92/1798.48 c 78468 1458 13845 1697810 122 31299 22813 11027 900 87.17 1797.92/1798.48 c 78718 1458 14095 1732727 122 31799 25095 11277 901 87.28 1797.92/1798.48 c 79193 1458 14570 1801387 123 32749 27605 11752 904 87.53 1797.92/1798.48 c 80006 1458 15383 1908949 124 34375 30366 12565 910 87.88 1797.92/1798.48 c 81326 1458 16703 2100763 125 37015 33403 13885 919 88.46 1797.92/1798.48 c 83407 1458 18784 2388421 127 41177 36744 15966 930 89.60 1797.92/1798.48 c 86630 1458 22007 2832469 128 47623 40419 19189 949 91.27 1797.92/1798.48 c 91566 1458 26943 3540697 131 57495 44461 24125 966 94.71 1797.92/1798.48 c 99072 1458 34449 4549453 132 72507 48908 31631 981 100.94 1797.92/1798.48 c 110433 1458 45810 6158180 134 95229 53799 42992 999 110.52 1797.92/1798.48 c 127577 1458 19586 2367753 120 42763 59179 16768 937 136.10 1797.92/1798.48 c 153396 1458 45405 6407892 141 94401 65097 42587 930 164.89 1797.92/1798.48 c 192228 1458 29648 4205961 141 62887 71607 26830 849 226.39 1797.92/1798.48 c 250580 1458 27042 3598824 133 57675 78768 24224 830 301.79 1797.92/1798.48 c 338212 1458 46502 6875367 147 96595 86645 43684 633 534.29 1797.92/1798.48 c 469764 1458 26557 3132594 117 56705 95310 23739 527 890.11 1797.92/1798.48 c 667196 1458 55032 8406751 152 113655 104842 52214 453 1470.86 1797.92/1798.48 c Resources Exceeded 1797.92/1798.48 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 -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 -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 -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 1797.92/1798.48 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.92/1798.48 c 46 773067 343 782392 66997 10142961 64179 429 1798.01 1797.92/1798.48 c Objective: -19 1797.92/1798.48 s SATISFIABLE 1797.92/1798.48 c Total time: 1798.01 s
OK -19
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2671116-1276719048/watcher-2671116-1276719048 -o /tmp/evaluation-result-2671116-1276719048/solver-2671116-1276719048 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2671116-1276719048.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.03 1.01 1.00 3/106 11414 /proc/meminfo: memFree=1694656/2059040 swapFree=4140468/4192956 [pid=11414] ppid=11412 vsize=10904 CPUtime=0 /proc/11414/stat : 11414 (bsolo_pb10) R 11412 11414 11098 0 -1 4202496 333 0 0 0 0 0 0 0 19 0 1 0 47508570 11165696 251 1992294400 134512640 137138936 4289400448 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11414/statm: 2726 251 174 642 0 2055 0 [startup+0.022295 s] /proc/loadavg: 1.03 1.01 1.00 3/106 11414 /proc/meminfo: memFree=1694656/2059040 swapFree=4140468/4192956 [pid=11414] ppid=11412 vsize=11332 CPUtime=0.01 /proc/11414/stat : 11414 (bsolo_pb10) R 11412 11414 11098 0 -1 4202496 483 0 0 0 1 0 0 0 19 0 1 0 47508570 11603968 374 1992294400 134512640 137138936 4289400448 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11414/statm: 2833 376 182 642 0 2189 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 11332 [startup+0.101302 s] /proc/loadavg: 1.03 1.01 1.00 3/106 11414 /proc/meminfo: memFree=1694656/2059040 swapFree=4140468/4192956 [pid=11414] ppid=11412 vsize=11464 CPUtime=0.09 /proc/11414/stat : 11414 (bsolo_pb10) R 11412 11414 11098 0 -1 4202496 526 0 0 0 9 0 0 0 20 0 1 0 47508570 11739136 417 1992294400 134512640 137138936 4289400448 18446744073709551615 136521017 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11414/statm: 2866 417 184 642 0 2222 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11464 [startup+0.300324 s] /proc/loadavg: 1.03 1.01 1.00 3/106 11414 /proc/meminfo: memFree=1694656/2059040 swapFree=4140468/4192956 [pid=11414] ppid=11412 vsize=11464 CPUtime=0.29 /proc/11414/stat : 11414 (bsolo_pb10) R 11412 11414 11098 0 -1 4202496 526 0 0 0 29 0 0 0 20 0 1 0 47508570 11739136 417 1992294400 134512640 137138936 4289400448 18446744073709551615 136504438 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11414/statm: 2866 417 184 642 0 2222 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11464 [startup+0.700369 s] /proc/loadavg: 1.03 1.01 1.00 3/106 11414 /proc/meminfo: memFree=1694656/2059040 swapFree=4140468/4192956 [pid=11414] ppid=11412 vsize=13716 CPUtime=0.69 /proc/11414/stat : 11414 (bsolo_pb10) R 11412 11414 11098 0 -1 4202496 1105 0 0 0 69 0 0 0 20 0 1 0 47508570 14045184 996 1992294400 134512640 137138936 4289400448 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11414/statm: 3429 996 191 642 0 2785 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13716 [startup+1.50046 s] /proc/loadavg: 1.03 1.01 1.00 2/107 11415 /proc/meminfo: memFree=1690184/2059040 swapFree=4140468/4192956 [pid=11414] ppid=11412 vsize=18748 CPUtime=1.48 /proc/11414/stat : 11414 (bsolo_pb10) R 11412 11414 11098 0 -1 4202496 2349 0 0 0 147 1 0 0 22 0 1 0 47508570 19197952 2240 1992294400 134512640 137138936 4289400448 18446744073709551615 136504021 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11414/statm: 4687 2240 191 642 0 4043 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 18748 [startup+3.10064 s] /proc/loadavg: 1.03 1.01 1.00 2/107 11415 /proc/meminfo: memFree=1683364/2059040 swapFree=4140468/4192956 [pid=11414] ppid=11412 vsize=26872 CPUtime=3.09 /proc/11414/stat : 11414 (bsolo_pb10) R 11412 11414 11098 0 -1 4202496 4391 0 0 0 306 3 0 0 25 0 1 0 47508570 27516928 4282 1992294400 134512640 137138936 4289400448 18446744073709551615 136504154 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11414/statm: 6718 4282 191 642 0 6074 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 26872 [startup+6.30099 s] /proc/loadavg: 1.03 1.01 1.00 2/107 11415 /proc/meminfo: memFree=1668484/2059040 swapFree=4140468/4192956 [pid=11414] ppid=11412 vsize=39632 CPUtime=6.29 /proc/11414/stat : 11414 (bsolo_pb10) R 11412 11414 11098 0 -1 4202496 7576 0 0 0 624 5 0 0 25 0 1 0 47508570 40583168 7467 1992294400 134512640 137138936 4289400448 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11414/statm: 9908 7467 191 642 0 9264 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 39632 [startup+12.7007 s] /proc/loadavg: 1.02 1.01 1.00 2/107 11415 /proc/meminfo: memFree=1650016/2059040 swapFree=4140468/4192956 [pid=11414] ppid=11412 vsize=57276 CPUtime=12.69 /proc/11414/stat : 11414 (bsolo_pb10) R 11412 11414 11098 0 -1 4202496 11991 0 0 0 1259 10 0 0 25 0 1 0 47508570 58650624 11882 1992294400 134512640 137138936 4289400448 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11414/statm: 14319 11882 191 642 0 13675 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 57276 [startup+25.5011 s] /proc/loadavg: 1.02 1.01 1.00 2/107 11415 /proc/meminfo: memFree=1626456/2059040 swapFree=4140468/4192956 [pid=11414] ppid=11412 vsize=79084 CPUtime=25.48 /proc/11414/stat : 11414 (bsolo_pb10) R 11412 11414 11098 0 -1 4202496 17448 0 0 0 2529 19 0 0 25 0 1 0 47508570 80982016 17339 1992294400 134512640 137138936 4289400448 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11414/statm: 19771 17339 191 642 0 19127 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 79084 [startup+51.102 s] /proc/loadavg: 1.01 1.01 1.00 2/107 11417 /proc/meminfo: memFree=1593968/2059040 swapFree=4140468/4192956 [pid=11414] ppid=11412 vsize=112204 CPUtime=51.08 /proc/11414/stat : 11414 (bsolo_pb10) R 11412 11414 11098 0 -1 4202496 25729 0 0 0 5076 32 0 0 25 0 1 0 47508570 114896896 25620 1992294400 134512640 137138936 4289400448 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11414/statm: 28051 25620 191 642 0 27407 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 112204 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11417 /proc/meminfo: memFree=1580576/2059040 swapFree=4140468/4192956 [pid=11414] ppid=11412 vsize=123948 CPUtime=102.27 /proc/11414/stat : 11414 (bsolo_pb10) R 11412 11414 11098 0 -1 4202496 28719 0 0 0 10182 45 0 0 25 0 1 0 47508570 126922752 28551 1992294400 134512640 137138936 4289400448 18446744073709551615 134575640 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11414/statm: 30987 28551 191 642 0 30343 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 123948 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11419 /proc/meminfo: memFree=1580576/2059040 swapFree=4140468/4192956 [pid=11414] ppid=11412 vsize=123948 CPUtime=162.24 /proc/11414/stat : 11414 (bsolo_pb10) R 11412 11414 11098 0 -1 4202496 28719 0 0 0 16169 55 0 0 25 0 1 0 47508570 126922752 28551 1992294400 134512640 137138936 4289400448 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11414/statm: 30987 28551 191 642 0 30343 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 123948 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11424 /proc/meminfo: memFree=1557264/2059040 swapFree=4140468/4192956 [pid=11414] ppid=11412 vsize=146576 CPUtime=222.23 /proc/11414/stat : 11414 (bsolo_pb10) R 11412 11414 11098 0 -1 4202496 34450 0 0 0 22157 66 0 0 25 0 1 0 47508570 150093824 34217 1992294400 134512640 137138936 4289400448 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11414/statm: 36644 34217 191 642 0 36000 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 146576 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11426 /proc/meminfo: memFree=1555900/2059040 swapFree=4140468/4192956 [pid=11414] ppid=11412 vsize=149532 CPUtime=282.21 /proc/11414/stat : 11414 (bsolo_pb10) R 11412 11414 11098 0 -1 4202496 35164 0 0 0 28142 79 0 0 25 0 1 0 47508570 153120768 34931 1992294400 134512640 137138936 4289400448 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11414/statm: 37383 34931 191 642 0 36739 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 149532 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11428 /proc/meminfo: memFree=1551684/2059040 swapFree=4140468/4192956 [pid=11414] ppid=11412 vsize=152320 CPUtime=342.2 /proc/11414/stat : 11414 (bsolo_pb10) R 11412 11414 11098 0 -1 4202496 35940 0 0 0 34130 90 0 0 25 0 1 0 47508570 155975680 35635 1992294400 134512640 137138936 4289400448 18446744073709551615 134542342 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11414/statm: 38080 35635 191 642 0 37436 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 152320 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11428 /proc/meminfo: memFree=1524900/2059040 swapFree=4140468/4192956 [pid=11414] ppid=11412 vsize=179112 CPUtime=402.19 /proc/11414/stat : 11414 (bsolo_pb10) R 11412 11414 11098 0 -1 4202496 42707 0 0 0 40111 108 0 0 25 0 1 0 47508570 183410688 42323 1992294400 134512640 137138936 4289400448 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11414/statm: 44778 42323 191 642 0 44134 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 179112 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11430 /proc/meminfo: memFree=1524900/2059040 swapFree=4140468/4192956 [pid=11414] ppid=11412 vsize=179112 CPUtime=462.17 /proc/11414/stat : 11414 (bsolo_pb10) R 11412 11414 11098 0 -1 4202496 42707 0 0 0 46109 108 0 0 25 0 1 0 47508570 183410688 42323 1992294400 134512640 137138936 4289400448 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11414/statm: 44778 42323 191 642 0 44134 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 179112 [startup+522.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11432 /proc/meminfo: memFree=1524900/2059040 swapFree=4140468/4192956 [pid=11414] ppid=11412 vsize=179112 CPUtime=522.15 /proc/11414/stat : 11414 (bsolo_pb10) R 11412 11414 11098 0 -1 4202496 42707 0 0 0 52103 112 0 0 25 0 1 0 47508570 183410688 42323 1992294400 134512640 137138936 4289400448 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11414/statm: 44778 42323 191 642 0 44134 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 179112 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11434 /proc/meminfo: memFree=1515104/2059040 swapFree=4140468/4192956 [pid=11414] ppid=11412 vsize=189836 CPUtime=582.14 /proc/11414/stat : 11414 (bsolo_pb10) R 11412 11414 11098 0 -1 4202496 45394 0 0 0 58086 128 0 0 25 0 1 0 47508570 194392064 45010 1992294400 134512640 137138936 4289400448 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11414/statm: 47459 45010 191 642 0 46815 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 189836 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11436 /proc/meminfo: memFree=1510144/2059040 swapFree=4140468/4192956 [pid=11414] ppid=11412 vsize=193820 CPUtime=642.13 /proc/11414/stat : 11414 (bsolo_pb10) R 11412 11414 11098 0 -1 4202496 46485 0 0 0 64084 129 0 0 25 0 1 0 47508570 198471680 46015 1992294400 134512640 137138936 4289400448 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11414/statm: 48455 46015 191 642 0 47811 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 193820 [startup+702.3 s] ################ # More data... # ################ /proc/meminfo: memFree=1496876/2059040 swapFree=4140468/4192956 [pid=11414] ppid=11412 vsize=206932 CPUtime=1062.01 /proc/11414/stat : 11414 (bsolo_pb10) R 11412 11414 11098 0 -1 4202496 49851 0 0 0 106018 183 0 0 25 0 1 0 47508570 211898368 49286 1992294400 134512640 137138936 4289400448 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11414/statm: 51733 49286 191 642 0 51089 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 206932 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11448 /proc/meminfo: memFree=1496876/2059040 swapFree=4140468/4192956 [pid=11414] ppid=11412 vsize=206932 CPUtime=1121.99 /proc/11414/stat : 11414 (bsolo_pb10) R 11412 11414 11098 0 -1 4202496 49851 0 0 0 112016 183 0 0 25 0 1 0 47508570 211898368 49286 1992294400 134512640 137138936 4289400448 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11414/statm: 51733 49286 191 642 0 51089 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 206932 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11450 /proc/meminfo: memFree=1496752/2059040 swapFree=4140468/4192956 [pid=11414] ppid=11412 vsize=206932 CPUtime=1181.97 /proc/11414/stat : 11414 (bsolo_pb10) R 11412 11414 11098 0 -1 4202496 49851 0 0 0 118014 183 0 0 25 0 1 0 47508570 211898368 49286 1992294400 134512640 137138936 4289400448 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11414/statm: 51733 49286 191 642 0 51089 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 206932 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11452 /proc/meminfo: memFree=1496628/2059040 swapFree=4140468/4192956 [pid=11414] ppid=11412 vsize=206932 CPUtime=1241.96 /proc/11414/stat : 11414 (bsolo_pb10) R 11412 11414 11098 0 -1 4202496 49851 0 0 0 124012 184 0 0 25 0 1 0 47508570 211898368 49286 1992294400 134512640 137138936 4289400448 18446744073709551615 134575817 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11414/statm: 51733 49286 191 642 0 51089 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 206932 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11452 /proc/meminfo: memFree=1496504/2059040 swapFree=4140468/4192956 [pid=11414] ppid=11412 vsize=206932 CPUtime=1301.96 /proc/11414/stat : 11414 (bsolo_pb10) R 11412 11414 11098 0 -1 4202496 49851 0 0 0 129997 199 0 0 25 0 1 0 47508570 211898368 49286 1992294400 134512640 137138936 4289400448 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11414/statm: 51733 49286 191 642 0 51089 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 206932 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11454 /proc/meminfo: memFree=1488444/2059040 swapFree=4140468/4192956 [pid=11414] ppid=11412 vsize=215532 CPUtime=1361.93 /proc/11414/stat : 11414 (bsolo_pb10) R 11412 11414 11098 0 -1 4202496 51993 0 0 0 135981 212 0 0 25 0 1 0 47508570 220704768 51428 1992294400 134512640 137138936 4289400448 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11414/statm: 53883 51428 191 642 0 53239 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 215532 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11456 /proc/meminfo: memFree=1488444/2059040 swapFree=4140468/4192956 [pid=11414] ppid=11412 vsize=215532 CPUtime=1421.93 /proc/11414/stat : 11414 (bsolo_pb10) R 11412 11414 11098 0 -1 4202496 51993 0 0 0 141974 219 0 0 25 0 1 0 47508570 220704768 51428 1992294400 134512640 137138936 4289400448 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11414/statm: 53883 51428 191 642 0 53239 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 215532 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11458 /proc/meminfo: memFree=1488320/2059040 swapFree=4140468/4192956 [pid=11414] ppid=11412 vsize=215532 CPUtime=1481.9 /proc/11414/stat : 11414 (bsolo_pb10) R 11412 11414 11098 0 -1 4202496 51993 0 0 0 147960 230 0 0 25 0 1 0 47508570 220704768 51428 1992294400 134512640 137138936 4289400448 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11414/statm: 53883 51428 191 642 0 53239 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 215532 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11460 /proc/meminfo: memFree=1488320/2059040 swapFree=4140468/4192956 [pid=11414] ppid=11412 vsize=215532 CPUtime=1541.89 /proc/11414/stat : 11414 (bsolo_pb10) R 11412 11414 11098 0 -1 4202496 51993 0 0 0 153947 242 0 0 25 0 1 0 47508570 220704768 51428 1992294400 134512640 137138936 4289400448 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11414/statm: 53883 51428 191 642 0 53239 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 215532 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11460 /proc/meminfo: memFree=1466992/2059040 swapFree=4140468/4192956 [pid=11414] ppid=11412 vsize=236476 CPUtime=1601.87 /proc/11414/stat : 11414 (bsolo_pb10) R 11412 11414 11098 0 -1 4202496 57362 0 0 0 159934 253 0 0 25 0 1 0 47508570 242151424 56693 1992294400 134512640 137138936 4289400448 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11414/statm: 59119 56693 191 642 0 58475 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 236476 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11462 /proc/meminfo: memFree=1466868/2059040 swapFree=4140468/4192956 [pid=11414] ppid=11412 vsize=236476 CPUtime=1661.85 /proc/11414/stat : 11414 (bsolo_pb10) R 11412 11414 11098 0 -1 4202496 57362 0 0 0 165932 253 0 0 25 0 1 0 47508570 242151424 56693 1992294400 134512640 137138936 4289400448 18446744073709551615 134540740 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11414/statm: 59119 56693 191 642 0 58475 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 236476 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11464 /proc/meminfo: memFree=1466744/2059040 swapFree=4140468/4192956 [pid=11414] ppid=11412 vsize=236476 CPUtime=1721.84 /proc/11414/stat : 11414 (bsolo_pb10) R 11412 11414 11098 0 -1 4202496 57362 0 0 0 171923 261 0 0 25 0 1 0 47508570 242151424 56693 1992294400 134512640 137138936 4289400448 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11414/statm: 59119 56693 191 642 0 58475 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 236476 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11466 /proc/meminfo: memFree=1466496/2059040 swapFree=4140468/4192956 [pid=11414] ppid=11412 vsize=236476 CPUtime=1781.82 /proc/11414/stat : 11414 (bsolo_pb10) R 11412 11414 11098 0 -1 4202496 57362 0 0 0 177913 269 0 0 25 0 1 0 47508570 242151424 56693 1992294400 134512640 137138936 4289400448 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11414/statm: 59119 56693 191 642 0 58475 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 236476 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11466 /proc/meminfo: memFree=1466496/2059040 swapFree=4140468/4192956 [pid=11414] ppid=11412 vsize=236476 CPUtime=1791.42 /proc/11414/stat : 11414 (bsolo_pb10) R 11412 11414 11098 0 -1 4202496 57362 0 0 0 178872 270 0 0 25 0 1 0 47508570 242151424 56693 1992294400 134512640 137138936 4289400448 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11414/statm: 59119 56693 191 642 0 58475 0 Current children cumulated CPU time (s) 1791.42 Current children cumulated vsize (KiB) 236476 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11466 /proc/meminfo: memFree=1466496/2059040 swapFree=4140468/4192956 [pid=11414] ppid=11412 vsize=236476 CPUtime=1794.63 /proc/11414/stat : 11414 (bsolo_pb10) R 11412 11414 11098 0 -1 4202496 57362 0 0 0 179192 271 0 0 25 0 1 0 47508570 242151424 56693 1992294400 134512640 137138936 4289400448 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11414/statm: 59119 56693 191 642 0 58475 0 Current children cumulated CPU time (s) 1794.63 Current children cumulated vsize (KiB) 236476 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11466 /proc/meminfo: memFree=1466496/2059040 swapFree=4140468/4192956 [pid=11414] ppid=11412 vsize=236476 CPUtime=1796.22 /proc/11414/stat : 11414 (bsolo_pb10) R 11412 11414 11098 0 -1 4202496 57362 0 0 0 179351 271 0 0 25 0 1 0 47508570 242151424 56693 1992294400 134512640 137138936 4289400448 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11414/statm: 59119 56693 191 642 0 58475 0 Current children cumulated CPU time (s) 1796.22 Current children cumulated vsize (KiB) 236476 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11466 /proc/meminfo: memFree=1466496/2059040 swapFree=4140468/4192956 [pid=11414] ppid=11412 vsize=236476 CPUtime=1797.02 /proc/11414/stat : 11414 (bsolo_pb10) R 11412 11414 11098 0 -1 4202496 57362 0 0 0 179431 271 0 0 25 0 1 0 47508570 242151424 56693 1992294400 134512640 137138936 4289400448 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11414/statm: 59119 56693 191 642 0 58475 0 Current children cumulated CPU time (s) 1797.02 Current children cumulated vsize (KiB) 236476 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11466 /proc/meminfo: memFree=1466496/2059040 swapFree=4140468/4192956 [pid=11414] ppid=11412 vsize=236476 CPUtime=1797.82 /proc/11414/stat : 11414 (bsolo_pb10) R 11412 11414 11098 0 -1 4202496 57362 0 0 0 179511 271 0 0 25 0 1 0 47508570 242151424 56693 1992294400 134512640 137138936 4289400448 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11414/statm: 59119 56693 191 642 0 58475 0 Current children cumulated CPU time (s) 1797.82 Current children cumulated vsize (KiB) 236476 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11466 /proc/meminfo: memFree=1466496/2059040 swapFree=4140468/4192956 [pid=11414] ppid=11412 vsize=0 CPUtime=1798.03 /proc/11414/stat : 11414 (bsolo_pb10) R 11412 11414 11098 0 -1 4202500 57363 0 0 0 179529 274 0 0 25 0 1 0 47508570 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0 /proc/11414/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.03 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.51 CPU time (s): 1798.04 CPU user time (s): 1795.29 CPU system time (s): 2.74258 CPU usage (%): 99.9736 Max. virtual memory (cumulated for all children) (KiB): 236892 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.29 system time used= 2.74258 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 57363 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= 4428 runsolver used 2.75658 second user time and 8.70268 second system time The end
Begin job on node005 at 2010-06-16 22:10:48 IDJOB=2671116 IDBENCH=48274 IDSOLVER=1163 FILE ID=node005/2671116-1276719048 PBS_JOBID= 11174174 Free space on /tmp= 62564 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_10_4.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2671116-1276719048/watcher-2671116-1276719048 -o /tmp/evaluation-result-2671116-1276719048/solver-2671116-1276719048 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2671116-1276719048.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= edb32574ecafd14c2d1410b208d85a45 RANDOM SEED=103013197 node005.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.246 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.49 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.246 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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1695804 kB Buffers: 121452 kB Cached: 144972 kB SwapCached: 6352 kB Active: 100440 kB Inactive: 179780 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1695804 kB SwapTotal: 4192956 kB SwapFree: 4140468 kB Dirty: 3976 kB Writeback: 0 kB AnonPages: 11688 kB Mapped: 13204 kB Slab: 61292 kB PageTables: 4064 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181160 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-2671116-1276719048.opb Free space on /tmp at the end= 62560 MiB End job on node005 at 2010-06-16 22:40:47