Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | SAT | -7 | 1798.04 | 1798.73 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_25_2.opb |
MD5SUM | 1eb933a10fcc575d2df25e98511c4b07 |
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 | 246.14 |
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) | 2960 |
Sum of products size (including duplicates) | 5920 |
Number of different products | 1480 |
Sum of products size | 2960 |
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: Generic Pseudo-Boolean 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-1879698-1245247226.opb 0.00/0.00 c File size is 118923 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.015 s 0.00/0.01 c Var: 1580 Constr: 3112 1530/102/1480 Lit: 12140 Watch. Lit: 10562 0.00/0.01 c Obj. Vars: 50 (3.16456 % of total variables) 1.39/1.40 c Pre-processing Time: 1.401 s 1.39/1.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.40 c 0 1580 3112 12140 3 10562 40039 0 0 1.40 1.39/1.40 c Switching off lower bounding mode. 1.39/1.40 o -1 1.39/1.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.41 c 0 1580 3113 12190 3 10565 40072 1 0 1.40 1.39/1.41 o -2 1.39/1.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.41 c 1 1580 3116 12340 3 10574 40089 4 0 1.41 1.39/1.41 o -3 1.39/1.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.41 c 6 1580 3127 13020 4 10741 40105 15 4 1.41 1.39/1.41 o -4 1.39/1.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.45 c 45 1580 3206 15024 4 12010 40122 94 31 1.41 1.39/1.45 o -5 5.08/5.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.08/5.20 c 99 1580 3315 17973 5 14001 40139 203 68 1.45 5.08/5.20 c 199 1580 3515 31637 9 20855 44153 403 132 1.50 5.08/5.20 c 451 1580 4018 60138 14 34410 48569 906 278 1.62 5.08/5.20 c 926 1580 4965 144286 29 69905 53426 1853 444 2.08 5.08/5.20 c 1739 1580 6587 307438 46 135507 58769 3475 506 3.43 5.08/5.20 o -6 137.04/137.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 137.04/137.19 c 2457 1580 8020 455599 56 196667 40155 4908 473 5.19 137.04/137.19 c 2559 1580 8224 473060 57 203264 44171 5112 469 5.45 137.04/137.19 c 2809 1580 8723 520473 59 221646 48589 5611 461 6.09 137.04/137.19 c 3284 1580 9672 606529 62 258816 53448 6560 442 7.43 137.04/137.19 c 4098 1580 11298 756232 66 313249 58793 8186 388 10.54 137.04/137.19 c 5418 1580 13933 1000149 71 403717 64673 10821 324 16.72 137.04/137.19 c 7499 1580 18079 1384605 76 551295 71141 14967 250 29.89 137.04/137.19 c 10722 1580 24497 1958448 79 769602 78256 21385 187 57.20 137.04/137.19 c 15659 1580 34320 2872827 83 1100938 86082 31208 139 112.17 137.04/137.19 o -7 1797.91/1798.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.91/1798.69 c 17737 1580 38433 3230948 84 1195203 40172 35321 129 137.14 1797.91/1798.69 c 17837 1580 38632 3243502 83 1187036 44190 35520 128 138.57 1797.91/1798.69 c 18088 1580 39132 3280796 83 1197923 48610 36020 127 141.84 1797.91/1798.69 c 18565 1580 40077 3364541 83 1226165 53472 36965 124 148.65 1797.91/1798.69 c 19380 1580 41697 3508049 84 1287069 58820 38585 119 162.22 1797.91/1798.69 c 20701 1580 44289 3737902 84 1368883 64703 41177 111 185.14 1797.91/1798.69 c 22784 1580 48397 4110372 84 1484236 71174 45285 102 221.86 1797.91/1798.69 c 26008 1580 54756 4690731 85 1690364 78292 51644 89 289.24 1797.91/1798.69 c 30944 1580 64538 5588771 86 1995211 86122 61426 77 399.67 1797.91/1798.69 c 38453 1580 79277 6977349 88 2509099 94735 76165 62 614.32 1797.91/1798.69 c 49814 1580 35608 2896012 81 1289092 104209 32496 37 1328.35 1797.91/1798.69 c 66959 1580 68877 6156069 89 2369293 114630 65765 39 1678.62 1797.91/1798.69 c Resources Exceeded 1797.91/1798.69 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 -x1577 -x1578 -x1579 -x1580 -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.91/1798.69 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.91/1798.69 c 30 71100 13094 98807 76934 6867078 73822 39 1798.01 1797.91/1798.69 c Objective: -7 1797.91/1798.69 s SATISFIABLE 1797.91/1798.69 c Total time: 1798.01 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-1879698-1245247226/watcher-1879698-1245247226 -o /tmp/evaluation-result-1879698-1245247226/solver-1879698-1245247226 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879698-1245247226.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9393 /proc/meminfo: memFree=1854328/2055920 swapFree=4181924/4192956 [pid=9393] ppid=9391 vsize=10832 CPUtime=0 /proc/9393/stat : 9393 (bsolo) R 9391 9393 9021 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 192322557 11091968 244 1992294400 134512640 137136520 4294956256 18446744073709551615 134531237 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9393/statm: 2708 244 175 640 0 2034 0 [startup+0.0715599 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9393 /proc/meminfo: memFree=1854328/2055920 swapFree=4181924/4192956 [pid=9393] ppid=9391 vsize=11532 CPUtime=0.06 /proc/9393/stat : 9393 (bsolo) R 9391 9393 9021 0 -1 4194304 504 0 0 0 6 0 0 0 18 0 1 0 192322557 11808768 458 1992294400 134512640 137136520 4294956256 18446744073709551615 136295557 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9393/statm: 2883 458 189 640 0 2239 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 11532 [startup+0.101563 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9393 /proc/meminfo: memFree=1854328/2055920 swapFree=4181924/4192956 [pid=9393] ppid=9391 vsize=11532 CPUtime=0.09 /proc/9393/stat : 9393 (bsolo) R 9391 9393 9021 0 -1 4194304 504 0 0 0 9 0 0 0 18 0 1 0 192322557 11808768 458 1992294400 134512640 137136520 4294956256 18446744073709551615 134545059 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9393/statm: 2883 458 189 640 0 2239 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11532 [startup+0.301584 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9393 /proc/meminfo: memFree=1854328/2055920 swapFree=4181924/4192956 [pid=9393] ppid=9391 vsize=11532 CPUtime=0.29 /proc/9393/stat : 9393 (bsolo) R 9391 9393 9021 0 -1 4194304 505 0 0 0 29 0 0 0 19 0 1 0 192322557 11808768 459 1992294400 134512640 137136520 4294956256 18446744073709551615 134544288 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9393/statm: 2883 459 189 640 0 2239 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11532 [startup+0.701631 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9393 /proc/meminfo: memFree=1854328/2055920 swapFree=4181924/4192956 [pid=9393] ppid=9391 vsize=11532 CPUtime=0.69 /proc/9393/stat : 9393 (bsolo) R 9391 9393 9021 0 -1 4194304 505 0 0 0 69 0 0 0 23 0 1 0 192322557 11808768 459 1992294400 134512640 137136520 4294956256 18446744073709551615 136509112 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9393/statm: 2883 459 189 640 0 2239 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11532 [startup+1.50172 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9394 /proc/meminfo: memFree=1853232/2055920 swapFree=4181924/4192956 [pid=9393] ppid=9391 vsize=12032 CPUtime=1.49 /proc/9393/stat : 9393 (bsolo) R 9391 9393 9021 0 -1 4194304 634 0 0 0 149 0 0 0 25 0 1 0 192322557 12320768 588 1992294400 134512640 137136520 4294956256 18446744073709551615 134574342 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9393/statm: 3008 588 197 640 0 2364 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12032 [startup+3.1019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9394 /proc/meminfo: memFree=1849840/2055920 swapFree=4181924/4192956 [pid=9393] ppid=9391 vsize=17868 CPUtime=3.08 /proc/9393/stat : 9393 (bsolo) R 9391 9393 9021 0 -1 4194304 2086 0 0 0 307 1 0 0 25 0 1 0 192322557 18296832 2040 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9393/statm: 4467 2040 198 640 0 3823 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 17868 [startup+6.30127 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9394 /proc/meminfo: memFree=1842288/2055920 swapFree=4181924/4192956 [pid=9393] ppid=9391 vsize=23692 CPUtime=6.29 /proc/9393/stat : 9393 (bsolo) R 9391 9393 9021 0 -1 4194304 3551 0 0 0 626 3 0 0 25 0 1 0 192322557 24260608 3505 1992294400 134512640 137136520 4294956256 18446744073709551615 134543971 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9393/statm: 5923 3505 198 640 0 5279 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 23692 [startup+12.703 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9394 /proc/meminfo: memFree=1834544/2055920 swapFree=4181924/4192956 [pid=9393] ppid=9391 vsize=30596 CPUtime=12.68 /proc/9393/stat : 9393 (bsolo) R 9391 9393 9021 0 -1 4194304 5263 0 0 0 1264 4 0 0 25 0 1 0 192322557 31330304 5217 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9393/statm: 7649 5217 198 640 0 7005 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 30596 [startup+25.5014 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9394 /proc/meminfo: memFree=1824688/2055920 swapFree=4181924/4192956 [pid=9393] ppid=9391 vsize=40136 CPUtime=25.48 /proc/9393/stat : 9393 (bsolo) R 9391 9393 9021 0 -1 4194304 7648 0 0 0 2541 7 0 0 25 0 1 0 192322557 41099264 7602 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9393/statm: 10034 7602 198 640 0 9390 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 40136 [startup+51.1014 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9400 /proc/meminfo: memFree=1811888/2055920 swapFree=4181924/4192956 [pid=9393] ppid=9391 vsize=52904 CPUtime=51.06 /proc/9393/stat : 9393 (bsolo) R 9391 9393 9021 0 -1 4194304 10860 0 0 0 5095 11 0 0 25 0 1 0 192322557 54173696 10814 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9393/statm: 13226 10814 198 640 0 12582 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 52904 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9400 /proc/meminfo: memFree=1792368/2055920 swapFree=4181924/4192956 [pid=9393] ppid=9391 vsize=72136 CPUtime=102.25 /proc/9393/stat : 9393 (bsolo) R 9391 9393 9021 0 -1 4194304 15658 0 0 0 10209 16 0 0 25 0 1 0 192322557 73867264 15612 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9393/statm: 18034 15612 198 640 0 17390 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 72136 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9400 /proc/meminfo: memFree=1775728/2055920 swapFree=4181924/4192956 [pid=9393] ppid=9391 vsize=88764 CPUtime=162.23 /proc/9393/stat : 9393 (bsolo) R 9391 9393 9021 0 -1 4194304 19826 0 0 0 16202 21 0 0 25 0 1 0 192322557 90894336 19780 1992294400 134512640 137136520 4294956256 18446744073709551615 134544125 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9393/statm: 22191 19780 198 640 0 21547 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 88764 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9400 /proc/meminfo: memFree=1762736/2055920 swapFree=4181924/4192956 [pid=9393] ppid=9391 vsize=101588 CPUtime=222.21 /proc/9393/stat : 9393 (bsolo) R 9391 9393 9021 0 -1 4194304 23032 0 0 0 22196 25 0 0 25 0 1 0 192322557 104026112 22986 1992294400 134512640 137136520 4294956256 18446744073709551615 134544419 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9393/statm: 25397 22986 198 640 0 24753 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 101588 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9400 /proc/meminfo: memFree=1751408/2055920 swapFree=4181924/4192956 [pid=9393] ppid=9391 vsize=112896 CPUtime=282.19 /proc/9393/stat : 9393 (bsolo) R 9391 9393 9021 0 -1 4194304 25852 0 0 0 28191 28 0 0 25 0 1 0 192322557 115605504 25806 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9393/statm: 28224 25806 198 640 0 27580 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 112896 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9400 /proc/meminfo: memFree=1740656/2055920 swapFree=4181924/4192956 [pid=9393] ppid=9391 vsize=123512 CPUtime=342.17 /proc/9393/stat : 9393 (bsolo) R 9391 9393 9021 0 -1 4194304 28517 0 0 0 34186 31 0 0 25 0 1 0 192322557 126476288 28471 1992294400 134512640 137136520 4294956256 18446744073709551615 134544393 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9393/statm: 30878 28471 198 640 0 30234 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 123512 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9400 /proc/meminfo: memFree=1730608/2055920 swapFree=4181924/4192956 [pid=9393] ppid=9391 vsize=133900 CPUtime=402.14 /proc/9393/stat : 9393 (bsolo) R 9391 9393 9021 0 -1 4194304 31098 0 0 0 40180 34 0 0 25 0 1 0 192322557 137113600 31052 1992294400 134512640 137136520 4294956256 18446744073709551615 134543974 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9393/statm: 33475 31052 198 640 0 32831 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 133900 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9400 /proc/meminfo: memFree=1721776/2055920 swapFree=4181924/4192956 [pid=9393] ppid=9391 vsize=142528 CPUtime=462.12 /proc/9393/stat : 9393 (bsolo) R 9391 9393 9021 0 -1 4194304 33248 0 0 0 46176 36 0 0 25 0 1 0 192322557 145948672 33202 1992294400 134512640 137136520 4294956256 18446744073709551615 134544402 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9393/statm: 35632 33202 198 640 0 34988 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 142528 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9400 /proc/meminfo: memFree=1712752/2055920 swapFree=4181924/4192956 [pid=9393] ppid=9391 vsize=151828 CPUtime=522.1 /proc/9393/stat : 9393 (bsolo) R 9391 9393 9021 0 -1 4194304 35581 0 0 0 52171 39 0 0 25 0 1 0 192322557 155471872 35535 1992294400 134512640 137136520 4294956256 18446744073709551615 134573560 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9393/statm: 37957 35535 198 640 0 37313 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 151828 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9400 /proc/meminfo: memFree=1703472/2055920 swapFree=4181924/4192956 [pid=9393] ppid=9391 vsize=160588 CPUtime=582.07 /proc/9393/stat : 9393 (bsolo) R 9391 9393 9021 0 -1 4194304 37788 0 0 0 58165 42 0 0 25 0 1 0 192322557 164442112 37742 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9393/statm: 40147 37742 198 640 0 39503 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 160588 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9400 /proc/meminfo: memFree=1697072/2055920 swapFree=4181924/4192956 [pid=9393] ppid=9391 vsize=167000 CPUtime=642.05 /proc/9393/stat : 9393 (bsolo) R 9391 9393 9021 0 -1 4194304 39376 0 0 0 64161 44 0 0 25 0 1 0 192322557 171008000 39330 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9393/statm: 41750 39330 198 640 0 41106 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 167000 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1659952/2055920 swapFree=4181924/4192956 [pid=9393] ppid=9391 vsize=203664 CPUtime=1061.89 /proc/9393/stat : 9393 (bsolo) R 9391 9393 9021 0 -1 4194304 48645 0 0 0 106136 53 0 0 25 0 1 0 192322557 208551936 48505 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9393/statm: 50916 48505 198 640 0 50272 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 203664 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9400 /proc/meminfo: memFree=1659888/2055920 swapFree=4181924/4192956 [pid=9393] ppid=9391 vsize=203664 CPUtime=1121.87 /proc/9393/stat : 9393 (bsolo) R 9391 9393 9021 0 -1 4194304 48645 0 0 0 112134 53 0 0 25 0 1 0 192322557 208551936 48505 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9393/statm: 50916 48505 198 640 0 50272 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 203664 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9400 /proc/meminfo: memFree=1659888/2055920 swapFree=4181924/4192956 [pid=9393] ppid=9391 vsize=203664 CPUtime=1181.84 /proc/9393/stat : 9393 (bsolo) R 9391 9393 9021 0 -1 4194304 48645 0 0 0 118131 53 0 0 25 0 1 0 192322557 208551936 48505 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9393/statm: 50916 48505 198 640 0 50272 0 Current children cumulated CPU time (s) 1181.84 Current children cumulated vsize (KiB) 203664 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9400 /proc/meminfo: memFree=1659696/2055920 swapFree=4181924/4192956 [pid=9393] ppid=9391 vsize=203664 CPUtime=1241.82 /proc/9393/stat : 9393 (bsolo) R 9391 9393 9021 0 -1 4194304 48645 0 0 0 124129 53 0 0 25 0 1 0 192322557 208551936 48505 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9393/statm: 50916 48505 198 640 0 50272 0 Current children cumulated CPU time (s) 1241.82 Current children cumulated vsize (KiB) 203664 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9400 /proc/meminfo: memFree=1659632/2055920 swapFree=4181924/4192956 [pid=9393] ppid=9391 vsize=203664 CPUtime=1301.8 /proc/9393/stat : 9393 (bsolo) R 9391 9393 9021 0 -1 4194304 48645 0 0 0 130127 53 0 0 25 0 1 0 192322557 208551936 48505 1992294400 134512640 137136520 4294956256 18446744073709551615 134540854 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9393/statm: 50916 48505 198 640 0 50272 0 Current children cumulated CPU time (s) 1301.8 Current children cumulated vsize (KiB) 203664 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9400 /proc/meminfo: memFree=1659632/2055920 swapFree=4181924/4192956 [pid=9393] ppid=9391 vsize=203664 CPUtime=1361.77 /proc/9393/stat : 9393 (bsolo) R 9391 9393 9021 0 -1 4194304 48645 0 0 0 136123 54 0 0 25 0 1 0 192322557 208551936 48505 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9393/statm: 50916 48505 198 640 0 50272 0 Current children cumulated CPU time (s) 1361.77 Current children cumulated vsize (KiB) 203664 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9400 /proc/meminfo: memFree=1659568/2055920 swapFree=4181924/4192956 [pid=9393] ppid=9391 vsize=203664 CPUtime=1421.75 /proc/9393/stat : 9393 (bsolo) R 9391 9393 9021 0 -1 4194304 48645 0 0 0 142120 55 0 0 25 0 1 0 192322557 208551936 48505 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9393/statm: 50916 48505 198 640 0 50272 0 Current children cumulated CPU time (s) 1421.75 Current children cumulated vsize (KiB) 203664 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9400 /proc/meminfo: memFree=1659632/2055920 swapFree=4181924/4192956 [pid=9393] ppid=9391 vsize=203664 CPUtime=1481.73 /proc/9393/stat : 9393 (bsolo) R 9391 9393 9021 0 -1 4194304 48645 0 0 0 148117 56 0 0 25 0 1 0 192322557 208551936 48505 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9393/statm: 50916 48505 198 640 0 50272 0 Current children cumulated CPU time (s) 1481.73 Current children cumulated vsize (KiB) 203664 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9400 /proc/meminfo: memFree=1659568/2055920 swapFree=4181924/4192956 [pid=9393] ppid=9391 vsize=203664 CPUtime=1541.7 /proc/9393/stat : 9393 (bsolo) R 9391 9393 9021 0 -1 4194304 48645 0 0 0 154113 57 0 0 25 0 1 0 192322557 208551936 48505 1992294400 134512640 137136520 4294956256 18446744073709551615 134544431 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9393/statm: 50916 48505 198 640 0 50272 0 Current children cumulated CPU time (s) 1541.7 Current children cumulated vsize (KiB) 203664 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9400 /proc/meminfo: memFree=1659504/2055920 swapFree=4181924/4192956 [pid=9393] ppid=9391 vsize=203664 CPUtime=1601.68 /proc/9393/stat : 9393 (bsolo) R 9391 9393 9021 0 -1 4194304 48645 0 0 0 160110 58 0 0 25 0 1 0 192322557 208551936 48505 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9393/statm: 50916 48505 198 640 0 50272 0 Current children cumulated CPU time (s) 1601.68 Current children cumulated vsize (KiB) 203664 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9400 /proc/meminfo: memFree=1659568/2055920 swapFree=4181924/4192956 [pid=9393] ppid=9391 vsize=203664 CPUtime=1661.66 /proc/9393/stat : 9393 (bsolo) R 9391 9393 9021 0 -1 4194304 48645 0 0 0 166107 59 0 0 25 0 1 0 192322557 208551936 48505 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9393/statm: 50916 48505 198 640 0 50272 0 Current children cumulated CPU time (s) 1661.66 Current children cumulated vsize (KiB) 203664 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9400 /proc/meminfo: memFree=1659568/2055920 swapFree=4181924/4192956 [pid=9393] ppid=9391 vsize=203664 CPUtime=1721.64 /proc/9393/stat : 9393 (bsolo) R 9391 9393 9021 0 -1 4194304 48645 0 0 0 172104 60 0 0 25 0 1 0 192322557 208551936 48505 1992294400 134512640 137136520 4294956256 18446744073709551615 134544440 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9393/statm: 50916 48505 198 640 0 50272 0 Current children cumulated CPU time (s) 1721.64 Current children cumulated vsize (KiB) 203664 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9400 /proc/meminfo: memFree=1659376/2055920 swapFree=4181924/4192956 [pid=9393] ppid=9391 vsize=203664 CPUtime=1781.61 /proc/9393/stat : 9393 (bsolo) R 9391 9393 9021 0 -1 4194304 48645 0 0 0 178101 60 0 0 25 0 1 0 192322557 208551936 48505 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9393/statm: 50916 48505 198 640 0 50272 0 Current children cumulated CPU time (s) 1781.61 Current children cumulated vsize (KiB) 203664 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9400 /proc/meminfo: memFree=1659440/2055920 swapFree=4181924/4192956 [pid=9393] ppid=9391 vsize=203664 CPUtime=1791.22 /proc/9393/stat : 9393 (bsolo) R 9391 9393 9021 0 -1 4194304 48645 0 0 0 179061 61 0 0 25 0 1 0 192322557 208551936 48505 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9393/statm: 50916 48505 198 640 0 50272 0 Current children cumulated CPU time (s) 1791.22 Current children cumulated vsize (KiB) 203664 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9400 /proc/meminfo: memFree=1659440/2055920 swapFree=4181924/4192956 [pid=9393] ppid=9391 vsize=203664 CPUtime=1794.41 /proc/9393/stat : 9393 (bsolo) R 9391 9393 9021 0 -1 4194304 48645 0 0 0 179380 61 0 0 25 0 1 0 192322557 208551936 48505 1992294400 134512640 137136520 4294956256 18446744073709551615 134544122 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9393/statm: 50916 48505 198 640 0 50272 0 Current children cumulated CPU time (s) 1794.41 Current children cumulated vsize (KiB) 203664 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9400 /proc/meminfo: memFree=1659440/2055920 swapFree=4181924/4192956 [pid=9393] ppid=9391 vsize=203664 CPUtime=1796.01 /proc/9393/stat : 9393 (bsolo) R 9391 9393 9021 0 -1 4194304 48645 0 0 0 179540 61 0 0 25 0 1 0 192322557 208551936 48505 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9393/statm: 50916 48505 198 640 0 50272 0 Current children cumulated CPU time (s) 1796.01 Current children cumulated vsize (KiB) 203664 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9400 /proc/meminfo: memFree=1659440/2055920 swapFree=4181924/4192956 [pid=9393] ppid=9391 vsize=203664 CPUtime=1796.81 /proc/9393/stat : 9393 (bsolo) R 9391 9393 9021 0 -1 4194304 48645 0 0 0 179620 61 0 0 25 0 1 0 192322557 208551936 48505 1992294400 134512640 137136520 4294956256 18446744073709551615 134544428 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9393/statm: 50916 48505 198 640 0 50272 0 Current children cumulated CPU time (s) 1796.81 Current children cumulated vsize (KiB) 203664 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9400 /proc/meminfo: memFree=1659440/2055920 swapFree=4181924/4192956 [pid=9393] ppid=9391 vsize=203664 CPUtime=1797.61 /proc/9393/stat : 9393 (bsolo) R 9391 9393 9021 0 -1 4194304 48645 0 0 0 179700 61 0 0 25 0 1 0 192322557 208551936 48505 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9393/statm: 50916 48505 198 640 0 50272 0 Current children cumulated CPU time (s) 1797.61 Current children cumulated vsize (KiB) 203664 [startup+1798.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9400 /proc/meminfo: memFree=1659440/2055920 swapFree=4181924/4192956 [pid=9393] ppid=9391 vsize=0 CPUtime=1798.01 /proc/9393/stat : 9393 (bsolo) R 9391 9393 9021 0 -1 4194308 48647 0 0 0 179739 62 0 0 17 0 1 0 192322557 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9393/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.01 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.73 CPU time (s): 1798.04 CPU user time (s): 1797.39 CPU system time (s): 0.644901 CPU usage (%): 99.9618 Max. virtual memory (cumulated for all children) (KiB): 204040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.39 system time used= 0.644901 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 48647 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= 6409 runsolver used 1.49977 second user time and 5.05023 second system time The end
Begin job on node23 at 2009-06-17 16:00:26 IDJOB=1879698 IDBENCH=48248 IDSOLVER=701 FILE ID=node23/1879698-1245247226 PBS_JOBID= 9372315 Free space on /tmp= 66272 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_25_2.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879698-1245247226/watcher-1879698-1245247226 -o /tmp/evaluation-result-1879698-1245247226/solver-1879698-1245247226 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879698-1245247226.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1eb933a10fcc575d2df25e98511c4b07 RANDOM SEED=992580995 node23.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.236 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.236 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: 2055920 kB MemFree: 1854936 kB Buffers: 19544 kB Cached: 119124 kB SwapCached: 4540 kB Active: 17144 kB Inactive: 129136 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1854936 kB SwapTotal: 4192956 kB SwapFree: 4181924 kB Dirty: 3972 kB Writeback: 0 kB Mapped: 14364 kB Slab: 40736 kB Committed_AS: 175228 kB PageTables: 1392 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1879698-1245247226.opb Free space on /tmp at the end= 66268 MiB End job on node23 at 2009-06-17 16:30:25