Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | SAT | -7 | 1798.04 | 1798.58 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_25_3.opb |
MD5SUM | e70f8e0da8fa345ba6e82dce1b0133d2 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -7 |
Best CPU time to get the best result obtained on this benchmark | 233.561 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -7 |
Optimality of the best value was proved | YES |
Number of variables | 100 |
Total number of constraints | 151 |
Number of constraints which are clauses | 50 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 101 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 100 |
Number of terms in the objective function | 50 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 50 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 100 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 2952 |
Sum of products size (including duplicates) | 5904 |
Number of different products | 1476 |
Sum of products size | 2952 |
0.00/0.00 c bsolo beta version 3.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-1879681-1245247126.opb 0.00/0.00 c File size is 118615 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.02 c Var: 1576 Constr: 3104 1526/102/1476 Lit: 12108 Watch. Lit: 10534 0.00/0.02 c Obj. Vars: 50 (3.17259 % of total variables) 1.39/1.43 c Pre-processing Time: 1.434 s 1.39/1.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.43 c 0 1576 3104 12108 3 10534 39764 0 0 1.43 1.39/1.43 c Switching off lower bounding mode. 1.39/1.43 o -1 1.39/1.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.44 c 0 1576 3105 12158 3 10537 39797 1 0 1.44 1.39/1.44 o -2 1.39/1.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.44 c 2 1576 3110 12438 3 10583 39814 6 1 1.44 1.39/1.44 o -3 1.39/1.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.44 c 10 1576 3127 13329 4 10847 39831 23 6 1.44 1.39/1.44 o -4 1.39/1.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.45 c 23 1576 3154 14771 4 11254 39847 50 15 1.44 1.39/1.45 o -5 5.08/5.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.08/5.13 c 50 1576 3209 16671 5 12207 39864 105 34 1.45 5.08/5.13 c 150 1576 3409 26894 7 17084 43851 305 99 1.51 5.08/5.13 c 400 1576 3909 50578 12 27938 48237 805 248 1.61 5.08/5.13 c 875 1576 4859 114487 23 56546 53061 1755 456 1.92 5.08/5.13 c 1688 1576 6484 259307 39 115463 58368 3380 563 3.00 5.08/5.13 o -6 561.51/561.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 561.51/561.77 c 2549 1576 8207 427548 52 184239 39881 5103 496 5.13 561.51/561.77 c 2649 1576 8406 449171 53 192623 43870 5302 492 5.38 561.51/561.77 c 2902 1576 8910 495520 55 209630 48258 5806 472 6.14 561.51/561.77 c 3377 1576 9858 579712 58 243129 53084 6754 434 7.77 561.51/561.77 c 4190 1576 11482 720828 62 298884 58393 8378 379 11.04 561.51/561.77 c 5510 1576 14117 962170 68 390855 64233 11013 323 17.01 561.51/561.77 c 7591 1576 18264 1351151 73 543529 70657 15160 254 29.83 561.51/561.77 c 10815 1576 24689 1965611 79 767894 77723 21585 190 56.77 561.51/561.77 c 15751 1576 34524 2927161 84 1134847 85496 31420 138 113.81 561.51/561.77 c 23257 1576 49462 4318684 87 1625606 94046 46358 93 247.63 561.51/561.77 c 34618 1576 72024 6569611 91 2369023 103451 68920 66 516.83 561.51/561.77 o -7 1797.96/1798.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.96/1798.54 c 36213 1576 75172 6874603 91 2453909 39897 72068 64 561.60 1797.96/1798.54 c 36313 1576 23254 1772566 76 825035 43887 20150 44 809.40 1797.96/1798.54 c 36563 1576 23753 1803145 75 805576 48276 20649 45 811.69 1797.96/1798.54 c 37038 1576 24682 1884371 76 839618 53104 21578 45 817.36 1797.96/1798.54 c 37852 1576 26282 2038311 77 899848 58415 23178 45 826.23 1797.96/1798.54 c 39172 1576 28820 2272583 78 967146 64257 25716 46 841.64 1797.96/1798.54 c 41253 1576 32810 2643724 80 1084957 70683 29706 47 873.45 1797.96/1798.54 c 44477 1576 38918 3224546 82 1299489 77752 35814 47 933.25 1797.96/1798.54 c 49414 1576 48292 4125346 85 1629127 85528 45188 47 1040.25 1797.96/1798.54 c 56922 1576 62429 5453243 87 2054832 94081 59325 45 1239.33 1797.96/1798.54 c 68285 1576 84083 7377816 87 2610315 103490 80979 42 1602.62 1797.96/1798.54 c Resources Exceeded 1797.96/1798.54 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 x34 x35 -x36 x37 -x38 x39 -x40 x41 x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 -x66 x67 -x68 x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 x100 1797.96/1798.54 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.96/1798.54 c 31 73802 14579 108561 94466 8318433 91362 41 1798.01 1797.96/1798.54 c Objective: -7 1797.96/1798.54 s SATISFIABLE 1797.96/1798.54 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-1879681-1245247126/watcher-1879681-1245247126 -o /tmp/evaluation-result-1879681-1245247126/solver-1879681-1245247126 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879681-1245247126.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.95 3/64 10007 /proc/meminfo: memFree=1777776/2055920 swapFree=4192956/4192956 [pid=10007] ppid=10005 vsize=18640 CPUtime=0 /proc/10007/stat : 10007 (bsolo) R 10005 10007 9726 0 -1 4194304 253 0 0 0 0 0 0 0 18 0 1 0 9042058 19087360 237 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10007/statm: 4660 238 174 640 0 3987 0 [startup+0.051788 s] /proc/loadavg: 0.92 0.98 0.95 3/64 10007 /proc/meminfo: memFree=1777776/2055920 swapFree=4192956/4192956 [pid=10007] ppid=10005 vsize=11532 CPUtime=0.04 /proc/10007/stat : 10007 (bsolo) R 10005 10007 9726 0 -1 4194304 502 0 0 0 4 0 0 0 18 0 1 0 9042058 11808768 457 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10007/statm: 2883 457 189 640 0 2239 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 11532 [startup+0.101794 s] /proc/loadavg: 0.92 0.98 0.95 3/64 10007 /proc/meminfo: memFree=1777776/2055920 swapFree=4192956/4192956 [pid=10007] ppid=10005 vsize=11532 CPUtime=0.09 /proc/10007/stat : 10007 (bsolo) R 10005 10007 9726 0 -1 4194304 502 0 0 0 9 0 0 0 18 0 1 0 9042058 11808768 457 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10007/statm: 2883 457 189 640 0 2239 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11532 [startup+0.301823 s] /proc/loadavg: 0.92 0.98 0.95 3/64 10007 /proc/meminfo: memFree=1777776/2055920 swapFree=4192956/4192956 [pid=10007] ppid=10005 vsize=11532 CPUtime=0.29 /proc/10007/stat : 10007 (bsolo) R 10005 10007 9726 0 -1 4194304 502 0 0 0 29 0 0 0 19 0 1 0 9042058 11808768 457 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10007/statm: 2883 457 189 640 0 2239 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11532 [startup+0.701881 s] /proc/loadavg: 0.92 0.98 0.95 3/64 10007 /proc/meminfo: memFree=1777776/2055920 swapFree=4192956/4192956 [pid=10007] ppid=10005 vsize=11532 CPUtime=0.69 /proc/10007/stat : 10007 (bsolo) R 10005 10007 9726 0 -1 4194304 502 0 0 0 69 0 0 0 22 0 1 0 9042058 11808768 457 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10007/statm: 2883 457 189 640 0 2239 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11532 [startup+1.503 s] /proc/loadavg: 0.92 0.98 0.95 2/65 10008 /proc/meminfo: memFree=1776680/2055920 swapFree=4192956/4192956 [pid=10007] ppid=10005 vsize=11912 CPUtime=1.49 /proc/10007/stat : 10007 (bsolo) R 10005 10007 9726 0 -1 4194304 594 0 0 0 149 0 0 0 25 0 1 0 9042058 12197888 549 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10007/statm: 2978 549 197 640 0 2334 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11912 [startup+3.10123 s] /proc/loadavg: 0.92 0.98 0.95 2/65 10008 /proc/meminfo: memFree=1773288/2055920 swapFree=4192956/4192956 [pid=10007] ppid=10005 vsize=17584 CPUtime=3.09 /proc/10007/stat : 10007 (bsolo) R 10005 10007 9726 0 -1 4194304 2026 0 0 0 308 1 0 0 25 0 1 0 9042058 18006016 1981 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10007/statm: 4396 1981 198 640 0 3752 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17584 [startup+6.30169 s] /proc/loadavg: 0.93 0.98 0.95 2/65 10008 /proc/meminfo: memFree=1766128/2055920 swapFree=4192956/4192956 [pid=10007] ppid=10005 vsize=22996 CPUtime=6.29 /proc/10007/stat : 10007 (bsolo) R 10005 10007 9726 0 -1 4194304 3364 0 0 0 626 3 0 0 25 0 1 0 9042058 23547904 3319 1992294400 134512640 137136520 4294956256 18446744073709551615 134544004 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10007/statm: 5749 3319 198 640 0 5105 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22996 [startup+12.7016 s] /proc/loadavg: 0.93 0.98 0.95 2/65 10008 /proc/meminfo: memFree=1759032/2055920 swapFree=4192956/4192956 [pid=10007] ppid=10005 vsize=29500 CPUtime=12.69 /proc/10007/stat : 10007 (bsolo) R 10005 10007 9726 0 -1 4194304 5010 0 0 0 1264 5 0 0 25 0 1 0 9042058 30208000 4965 1992294400 134512640 137136520 4294956256 18446744073709551615 135982494 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10007/statm: 7375 4965 198 640 0 6731 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 29500 [startup+25.5015 s] /proc/loadavg: 0.95 0.98 0.95 2/65 10008 /proc/meminfo: memFree=1748472/2055920 swapFree=4192956/4192956 [pid=10007] ppid=10005 vsize=39600 CPUtime=25.48 /proc/10007/stat : 10007 (bsolo) R 10005 10007 9726 0 -1 4194304 7527 0 0 0 2541 7 0 0 25 0 1 0 9042058 40550400 7482 1992294400 134512640 137136520 4294956256 18446744073709551615 134573439 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10007/statm: 9900 7482 198 640 0 9256 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 39600 [startup+51.1012 s] /proc/loadavg: 0.96 0.98 0.95 2/65 10008 /proc/meminfo: memFree=1734648/2055920 swapFree=4192956/4192956 [pid=10007] ppid=10005 vsize=53412 CPUtime=51.07 /proc/10007/stat : 10007 (bsolo) R 10005 10007 9726 0 -1 4194304 10972 0 0 0 5096 11 0 0 25 0 1 0 9042058 54693888 10927 1992294400 134512640 137136520 4294956256 18446744073709551615 136498219 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10007/statm: 13353 10927 198 640 0 12709 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 53412 [startup+102.306 s] /proc/loadavg: 1.04 1.00 0.96 2/65 10008 /proc/meminfo: memFree=1713720/2055920 swapFree=4192956/4192956 [pid=10007] ppid=10005 vsize=74132 CPUtime=102.26 /proc/10007/stat : 10007 (bsolo) R 10005 10007 9726 0 -1 4194304 16147 0 0 0 10209 17 0 0 25 0 1 0 9042058 75911168 16102 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10007/statm: 18533 16102 198 640 0 17889 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 74132 [startup+162.301 s] /proc/loadavg: 1.01 1.00 0.96 2/65 10014 /proc/meminfo: memFree=1698104/2055920 swapFree=4192956/4192956 [pid=10007] ppid=10005 vsize=89728 CPUtime=162.24 /proc/10007/stat : 10007 (bsolo) R 10005 10007 9726 0 -1 4194304 20060 0 0 0 16202 22 0 0 25 0 1 0 9042058 91881472 20015 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10007/statm: 22432 20015 198 640 0 21788 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 89728 [startup+222.302 s] /proc/loadavg: 1.00 1.00 0.96 2/65 10014 /proc/meminfo: memFree=1684472/2055920 swapFree=4192956/4192956 [pid=10007] ppid=10005 vsize=103296 CPUtime=222.22 /proc/10007/stat : 10007 (bsolo) R 10005 10007 9726 0 -1 4194304 23449 0 0 0 22196 26 0 0 25 0 1 0 9042058 105775104 23404 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10007/statm: 25824 23404 198 640 0 25180 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 103296 [startup+282.302 s] /proc/loadavg: 1.00 1.00 0.96 2/65 10014 /proc/meminfo: memFree=1672120/2055920 swapFree=4192956/4192956 [pid=10007] ppid=10005 vsize=115684 CPUtime=282.21 /proc/10007/stat : 10007 (bsolo) R 10005 10007 9726 0 -1 4194304 26549 0 0 0 28191 30 0 0 25 0 1 0 9042058 118460416 26504 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10007/statm: 28921 26504 198 640 0 28277 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 115684 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.96 2/65 10014 /proc/meminfo: memFree=1660856/2055920 swapFree=4192956/4192956 [pid=10007] ppid=10005 vsize=126768 CPUtime=342.19 /proc/10007/stat : 10007 (bsolo) R 10005 10007 9726 0 -1 4194304 29335 0 0 0 34187 32 0 0 25 0 1 0 9042058 129810432 29290 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10007/statm: 31692 29290 198 640 0 31048 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 126768 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.96 2/65 10014 /proc/meminfo: memFree=1649848/2055920 swapFree=4192956/4192956 [pid=10007] ppid=10005 vsize=137820 CPUtime=402.17 /proc/10007/stat : 10007 (bsolo) R 10005 10007 9726 0 -1 4194304 32092 0 0 0 40182 35 0 0 25 0 1 0 9042058 141127680 32047 1992294400 134512640 137136520 4294956256 18446744073709551615 134543869 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10007/statm: 34455 32047 198 640 0 33811 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 137820 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.96 2/65 10014 /proc/meminfo: memFree=1640248/2055920 swapFree=4192956/4192956 [pid=10007] ppid=10005 vsize=147532 CPUtime=462.14 /proc/10007/stat : 10007 (bsolo) R 10005 10007 9726 0 -1 4194304 34502 0 0 0 46177 37 0 0 25 0 1 0 9042058 151072768 34457 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10007/statm: 36883 34457 198 640 0 36239 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 147532 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.96 2/65 10014 /proc/meminfo: memFree=1631864/2055920 swapFree=4192956/4192956 [pid=10007] ppid=10005 vsize=155816 CPUtime=522.13 /proc/10007/stat : 10007 (bsolo) R 10005 10007 9726 0 -1 4194304 36587 0 0 0 52173 40 0 0 25 0 1 0 9042058 159555584 36542 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10007/statm: 38954 36542 198 640 0 38310 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 155816 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.96 2/65 10014 /proc/meminfo: memFree=1625592/2055920 swapFree=4192956/4192956 [pid=10007] ppid=10005 vsize=161712 CPUtime=582.12 /proc/10007/stat : 10007 (bsolo) R 10005 10007 9726 0 -1 4194304 38133 0 0 0 58170 42 0 0 25 0 1 0 9042058 165593088 38017 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10007/statm: 40428 38017 198 640 0 39784 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 161712 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.96 2/65 10014 /proc/meminfo: memFree=1625528/2055920 swapFree=4192956/4192956 [pid=10007] ppid=10005 vsize=161712 CPUtime=642.1 /proc/10007/stat : 10007 (bsolo) R 10005 10007 9726 0 -1 4194304 38133 0 0 0 64168 42 0 0 25 0 1 0 9042058 165593088 38017 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10007/statm: 40428 38017 198 640 0 39784 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 161712 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1625464/2055920 swapFree=4192956/4192956 [pid=10007] ppid=10005 vsize=161712 CPUtime=1061.98 /proc/10007/stat : 10007 (bsolo) R 10005 10007 9726 0 -1 4194304 38133 0 0 0 106150 48 0 0 25 0 1 0 9042058 165593088 38017 1992294400 134512640 137136520 4294956256 18446744073709551615 134544143 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10007/statm: 40428 38017 198 640 0 39784 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 161712 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 10014 /proc/meminfo: memFree=1625400/2055920 swapFree=4192956/4192956 [pid=10007] ppid=10005 vsize=161712 CPUtime=1121.95 /proc/10007/stat : 10007 (bsolo) R 10005 10007 9726 0 -1 4194304 38133 0 0 0 112147 48 0 0 25 0 1 0 9042058 165593088 38017 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10007/statm: 40428 38017 198 640 0 39784 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 161712 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 10014 /proc/meminfo: memFree=1625400/2055920 swapFree=4192956/4192956 [pid=10007] ppid=10005 vsize=161712 CPUtime=1181.93 /proc/10007/stat : 10007 (bsolo) R 10005 10007 9726 0 -1 4194304 38133 0 0 0 118144 49 0 0 25 0 1 0 9042058 165593088 38017 1992294400 134512640 137136520 4294956256 18446744073709551615 134544140 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10007/statm: 40428 38017 198 640 0 39784 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 161712 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 10014 /proc/meminfo: memFree=1625336/2055920 swapFree=4192956/4192956 [pid=10007] ppid=10005 vsize=161712 CPUtime=1241.92 /proc/10007/stat : 10007 (bsolo) R 10005 10007 9726 0 -1 4194304 38133 0 0 0 124142 50 0 0 25 0 1 0 9042058 165593088 38017 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10007/statm: 40428 38017 198 640 0 39784 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 161712 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 10014 /proc/meminfo: memFree=1625336/2055920 swapFree=4192956/4192956 [pid=10007] ppid=10005 vsize=161712 CPUtime=1301.91 /proc/10007/stat : 10007 (bsolo) R 10005 10007 9726 0 -1 4194304 38133 0 0 0 130140 51 0 0 25 0 1 0 9042058 165593088 38017 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10007/statm: 40428 38017 198 640 0 39784 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 161712 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 10014 /proc/meminfo: memFree=1625336/2055920 swapFree=4192956/4192956 [pid=10007] ppid=10005 vsize=161712 CPUtime=1361.88 /proc/10007/stat : 10007 (bsolo) R 10005 10007 9726 0 -1 4194304 38133 0 0 0 136137 51 0 0 25 0 1 0 9042058 165593088 38017 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10007/statm: 40428 38017 198 640 0 39784 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 161712 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.96 2/65 10014 /proc/meminfo: memFree=1625336/2055920 swapFree=4192956/4192956 [pid=10007] ppid=10005 vsize=161712 CPUtime=1421.87 /proc/10007/stat : 10007 (bsolo) R 10005 10007 9726 0 -1 4194304 38133 0 0 0 142135 52 0 0 25 0 1 0 9042058 165593088 38017 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10007/statm: 40428 38017 198 640 0 39784 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 161712 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 10014 /proc/meminfo: memFree=1625208/2055920 swapFree=4192956/4192956 [pid=10007] ppid=10005 vsize=162124 CPUtime=1481.84 /proc/10007/stat : 10007 (bsolo) R 10005 10007 9726 0 -1 4194304 38213 0 0 0 148131 53 0 0 25 0 1 0 9042058 166014976 38097 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10007/statm: 40531 38097 198 640 0 39887 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 162124 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 10014 /proc/meminfo: memFree=1620088/2055920 swapFree=4192956/4192956 [pid=10007] ppid=10005 vsize=167064 CPUtime=1541.82 /proc/10007/stat : 10007 (bsolo) R 10005 10007 9726 0 -1 4194304 39461 0 0 0 154127 55 0 0 25 0 1 0 9042058 171073536 39345 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10007/statm: 41766 39345 198 640 0 41122 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 167064 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 10014 /proc/meminfo: memFree=1615160/2055920 swapFree=4192956/4192956 [pid=10007] ppid=10005 vsize=172152 CPUtime=1601.81 /proc/10007/stat : 10007 (bsolo) R 10005 10007 9726 0 -1 4194304 40724 0 0 0 160124 57 0 0 25 0 1 0 9042058 176283648 40608 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10007/statm: 43038 40608 198 640 0 42394 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 172152 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 10014 /proc/meminfo: memFree=1607224/2055920 swapFree=4192956/4192956 [pid=10007] ppid=10005 vsize=179900 CPUtime=1661.79 /proc/10007/stat : 10007 (bsolo) R 10005 10007 9726 0 -1 4194304 42682 0 0 0 166121 58 0 0 25 0 1 0 9042058 184217600 42566 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10007/statm: 44975 42566 198 640 0 44331 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 179900 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 10014 /proc/meminfo: memFree=1602680/2055920 swapFree=4192956/4192956 [pid=10007] ppid=10005 vsize=184740 CPUtime=1721.78 /proc/10007/stat : 10007 (bsolo) R 10005 10007 9726 0 -1 4194304 43879 0 0 0 172118 60 0 0 25 0 1 0 9042058 189173760 43763 1992294400 134512640 137136520 4294956256 18446744073709551615 136502448 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10007/statm: 46185 43763 198 640 0 45541 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 184740 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 10014 /proc/meminfo: memFree=1595704/2055920 swapFree=4192956/4192956 [pid=10007] ppid=10005 vsize=191300 CPUtime=1781.76 /proc/10007/stat : 10007 (bsolo) R 10005 10007 9726 0 -1 4194304 45538 0 0 0 178115 61 0 0 25 0 1 0 9042058 195891200 45422 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10007/statm: 47825 45422 198 640 0 47181 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 191300 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 0.96 2/65 10014 /proc/meminfo: memFree=1594360/2055920 swapFree=4192956/4192956 [pid=10007] ppid=10005 vsize=192628 CPUtime=1791.35 /proc/10007/stat : 10007 (bsolo) R 10005 10007 9726 0 -1 4194304 45860 0 0 0 179074 61 0 0 25 0 1 0 9042058 197251072 45744 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10007/statm: 48157 45744 198 640 0 47513 0 Current children cumulated CPU time (s) 1791.35 Current children cumulated vsize (KiB) 192628 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 0.96 2/65 10014 /proc/meminfo: memFree=1594232/2055920 swapFree=4192956/4192956 [pid=10007] ppid=10005 vsize=192764 CPUtime=1794.56 /proc/10007/stat : 10007 (bsolo) R 10005 10007 9726 0 -1 4194304 45901 0 0 0 179394 62 0 0 25 0 1 0 9042058 197390336 45785 1992294400 134512640 137136520 4294956256 18446744073709551615 134543945 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10007/statm: 48191 45785 198 640 0 47547 0 Current children cumulated CPU time (s) 1794.56 Current children cumulated vsize (KiB) 192764 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 0.96 3/65 10014 /proc/meminfo: memFree=1594168/2055920 swapFree=4192956/4192956 [pid=10007] ppid=10005 vsize=192896 CPUtime=1796.16 /proc/10007/stat : 10007 (bsolo) R 10005 10007 9726 0 -1 4194304 45918 0 0 0 179554 62 0 0 25 0 1 0 9042058 197525504 45802 1992294400 134512640 137136520 4294956256 18446744073709551615 134544384 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10007/statm: 48224 45802 198 640 0 47580 0 Current children cumulated CPU time (s) 1796.16 Current children cumulated vsize (KiB) 192896 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 0.96 2/65 10014 /proc/meminfo: memFree=1594104/2055920 swapFree=4192956/4192956 [pid=10007] ppid=10005 vsize=192896 CPUtime=1796.96 /proc/10007/stat : 10007 (bsolo) R 10005 10007 9726 0 -1 4194304 45924 0 0 0 179634 62 0 0 25 0 1 0 9042058 197525504 45808 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10007/statm: 48224 45808 198 640 0 47580 0 Current children cumulated CPU time (s) 1796.96 Current children cumulated vsize (KiB) 192896 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 10014 /proc/meminfo: memFree=1594104/2055920 swapFree=4192956/4192956 [pid=10007] ppid=10005 vsize=192896 CPUtime=1797.76 /proc/10007/stat : 10007 (bsolo) R 10005 10007 9726 0 -1 4194304 45934 0 0 0 179714 62 0 0 25 0 1 0 9042058 197525504 45818 1992294400 134512640 137136520 4294956256 18446744073709551615 134573451 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10007/statm: 48224 45818 198 640 0 47580 0 Current children cumulated CPU time (s) 1797.76 Current children cumulated vsize (KiB) 192896 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 0.96 2/65 10014 /proc/meminfo: memFree=1594104/2055920 swapFree=4192956/4192956 [pid=10007] ppid=10005 vsize=192896 CPUtime=1797.96 /proc/10007/stat : 10007 (bsolo) R 10005 10007 9726 0 -1 4194304 45934 0 0 0 179734 62 0 0 25 0 1 0 9042058 197525504 45818 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10007/statm: 48224 45818 198 640 0 47580 0 Current children cumulated CPU time (s) 1797.96 Current children cumulated vsize (KiB) 192896 Child status: 0 Real time (s): 1798.58 CPU time (s): 1798.04 CPU user time (s): 1797.39 CPU system time (s): 0.649901 CPU usage (%): 99.9701 Max. virtual memory (cumulated for all children) (KiB): 192896 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.39 system time used= 0.649901 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 45936 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 2249 runsolver used 1.41378 second user time and 3.61445 second system time The end
Begin job on node30 at 2009-06-17 15:58:46 IDJOB=1879681 IDBENCH=48231 IDSOLVER=701 FILE ID=node30/1879681-1245247126 PBS_JOBID= 9372308 Free space on /tmp= 66220 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_25_3.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879681-1245247126/watcher-1879681-1245247126 -o /tmp/evaluation-result-1879681-1245247126/solver-1879681-1245247126 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879681-1245247126.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e70f8e0da8fa345ba6e82dce1b0133d2 RANDOM SEED=1515378864 node30.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.273 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.273 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: 1778320 kB Buffers: 39412 kB Cached: 180772 kB SwapCached: 0 kB Active: 23320 kB Inactive: 209800 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1778320 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3972 kB Writeback: 0 kB Mapped: 22688 kB Slab: 30548 kB Committed_AS: 78220 kB PageTables: 1360 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-1879681-1245247126.opb Free space on /tmp at the end= 66216 MiB End job on node30 at 2009-06-17 16:28:45