Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | SAT | -7 | 1798.02 | 1798.5 |
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 | 576.181 |
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.2 - 23/05/2010 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2671063-1276716861.opb 0.00/0.00 c File size is 118923 bytes. 0.00/0.02 c Highest Coefficient sum: 100 0.00/0.02 c Parsing was ok!! 0.00/0.02 c Total parsing time: 0.019 s 0.00/0.02 c Var: 1580 Constr: 3112 1530/102/1480 Lit: 12140 Watch. Lit: 10562 0.00/0.02 c Obj. Vars: 50 (3.16456 % of total variables) 1.29/1.32 c Pre-processing Time: 1.32 s 1.29/1.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.32 c 0 1580 3112 12140 3 10562 40039 0 0 1.32 1.29/1.32 c Switching off lower bounding mode. 1.29/1.32 o -1 1.29/1.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.32 c 0 1580 3113 12190 3 10565 40072 1 0 1.32 1.29/1.32 o -2 1.29/1.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.32 c 1 1580 3116 12340 3 10574 40089 4 0 1.32 1.29/1.32 o -3 1.29/1.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.33 c 6 1580 3123 12704 4 10593 40105 11 4 1.33 1.29/1.33 o -4 1.29/1.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.38 c 59 1580 3179 13419 4 10712 40122 67 44 1.33 1.29/1.38 c 159 1580 3283 16277 4 10924 44135 171 116 1.37 1.29/1.38 o -5 1.59/1.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.59/1.63 c 196 1580 3322 17562 5 11007 40139 210 142 1.38 1.59/1.63 c 296 1580 3426 20235 5 11220 44153 314 211 1.40 1.59/1.63 c 550 1580 3685 27881 7 11738 48569 573 369 1.49 1.59/1.63 c 1025 1580 4184 38057 9 12738 53426 1072 654 1.57 1.59/1.63 o -6 3.20/3.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.20/3.21 c 1378 1580 4556 44996 9 13492 40155 1444 845 1.63 3.20/3.21 c 1478 1580 4659 47008 10 13698 44171 1547 885 1.67 3.20/3.21 c 1729 1580 4919 55516 11 14224 48589 1807 960 1.80 3.20/3.21 c 2204 1580 5426 69137 12 15242 53448 2314 1161 1.90 3.20/3.21 c 3017 1580 6312 99401 15 17031 58793 3200 1447 2.08 3.20/3.21 c 4337 1580 7797 164073 21 20155 64673 4685 1732 2.50 3.20/3.21 o -7 1797.92/1798.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.92/1798.48 c 5978 1580 9686 255039 26 24015 40172 6574 1861 3.21 1797.92/1798.48 c 6078 1580 9798 260260 26 24245 44190 6686 1864 3.26 1797.92/1798.48 c 6328 1580 10088 274962 27 24851 48610 6976 1868 3.39 1797.92/1798.48 c 6803 1580 10651 304919 28 26037 53472 7539 1861 3.65 1797.92/1798.48 c 7616 1580 11569 347083 30 27902 58820 8457 1846 4.12 1797.92/1798.48 c 8938 1580 13066 418422 32 30905 64703 9954 1766 5.06 1797.92/1798.48 c 11020 1580 15487 533902 34 35839 71174 12375 1660 6.64 1797.92/1798.48 c 14243 1580 19121 691268 36 43304 78292 16009 1442 9.88 1797.92/1798.48 c 19179 1580 24792 958943 38 55105 86122 21680 1106 17.34 1797.92/1798.48 c 26685 1580 33868 1431415 42 73645 94735 30756 767 34.77 1797.92/1798.48 c 38046 1580 47774 2147246 44 101923 104209 44662 528 71.98 1797.92/1798.48 c 55190 1580 67893 3169506 46 142907 114630 64781 395 139.42 1797.92/1798.48 c 81010 1580 98406 4747412 48 205446 126094 95294 271 298.22 1797.92/1798.48 c 119842 1580 37311 1652954 44 80479 138704 34199 190 627.98 1797.92/1798.48 c 178195 1580 106733 5172854 48 222776 152575 103621 185 959.43 1797.92/1798.48 c 265827 1580 80487 3840660 47 167824 167833 77375 153 1730.82 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 -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.92/1798.48 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.92/1798.48 c 31 274809 56041 441227 91382 4405540 88270 152 1798.00 1797.92/1798.48 c Objective: -7 1797.92/1798.48 s SATISFIABLE 1797.92/1798.48 c Total time: 1798 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-2671063-1276716861/watcher-2671063-1276716861 -o /tmp/evaluation-result-2671063-1276716861/solver-2671063-1276716861 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2671063-1276716861.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.01 1.00 1.00 3/105 20969 /proc/meminfo: memFree=1708392/2059040 swapFree=4148292/4192956 [pid=20969] ppid=20967 vsize=11048 CPUtime=0 /proc/20969/stat : 20969 (bsolo_pb10) R 20967 20969 20750 0 -1 4202496 341 0 0 0 0 0 0 0 25 0 1 0 12979619 11313152 260 1992294400 134512640 137138936 4294068400 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20969/statm: 2762 260 176 642 0 2088 0 [startup+0.0585509 s] /proc/loadavg: 1.01 1.00 1.00 3/105 20969 /proc/meminfo: memFree=1708392/2059040 swapFree=4148292/4192956 [pid=20969] ppid=20967 vsize=11600 CPUtime=0.05 /proc/20969/stat : 20969 (bsolo_pb10) R 20967 20969 20750 0 -1 4202496 566 0 0 0 5 0 0 0 25 0 1 0 12979619 11878400 455 1992294400 134512640 137138936 4294068400 18446744073709551615 134543082 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20969/statm: 2900 455 184 642 0 2256 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 11600 [startup+0.100555 s] /proc/loadavg: 1.01 1.00 1.00 3/105 20969 /proc/meminfo: memFree=1708392/2059040 swapFree=4148292/4192956 [pid=20969] ppid=20967 vsize=11600 CPUtime=0.09 /proc/20969/stat : 20969 (bsolo_pb10) R 20967 20969 20750 0 -1 4202496 566 0 0 0 9 0 0 0 25 0 1 0 12979619 11878400 455 1992294400 134512640 137138936 4294068400 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20969/statm: 2900 455 184 642 0 2256 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11600 [startup+0.300576 s] /proc/loadavg: 1.01 1.00 1.00 3/105 20969 /proc/meminfo: memFree=1708392/2059040 swapFree=4148292/4192956 [pid=20969] ppid=20967 vsize=11600 CPUtime=0.29 /proc/20969/stat : 20969 (bsolo_pb10) R 20967 20969 20750 0 -1 4202496 567 0 0 0 29 0 0 0 25 0 1 0 12979619 11878400 456 1992294400 134512640 137138936 4294068400 18446744073709551615 134543407 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20969/statm: 2900 456 184 642 0 2256 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11600 [startup+0.700618 s] /proc/loadavg: 1.01 1.00 1.00 3/105 20969 /proc/meminfo: memFree=1708392/2059040 swapFree=4148292/4192956 [pid=20969] ppid=20967 vsize=11600 CPUtime=0.69 /proc/20969/stat : 20969 (bsolo_pb10) R 20967 20969 20750 0 -1 4202496 567 0 0 0 69 0 0 0 25 0 1 0 12979619 11878400 456 1992294400 134512640 137138936 4294068400 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20969/statm: 2900 456 184 642 0 2256 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11600 [startup+1.5007 s] /proc/loadavg: 1.01 1.00 1.00 2/106 20970 /proc/meminfo: memFree=1707516/2059040 swapFree=4148292/4192956 [pid=20969] ppid=20967 vsize=11848 CPUtime=1.49 /proc/20969/stat : 20969 (bsolo_pb10) R 20967 20969 20750 0 -1 4202496 642 0 0 0 149 0 0 0 25 0 1 0 12979619 12132352 531 1992294400 134512640 137138936 4294068400 18446744073709551615 134607584 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20969/statm: 2962 531 192 642 0 2318 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11848 [startup+3.10087 s] /proc/loadavg: 1.01 1.00 1.00 2/106 20970 /proc/meminfo: memFree=1705656/2059040 swapFree=4148292/4192956 [pid=20969] ppid=20967 vsize=15236 CPUtime=3.09 /proc/20969/stat : 20969 (bsolo_pb10) R 20967 20969 20750 0 -1 4202496 1486 0 0 0 307 2 0 0 25 0 1 0 12979619 15601664 1375 1992294400 134512640 137138936 4294068400 18446744073709551615 134607568 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20969/statm: 3809 1375 192 642 0 3165 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15236 [startup+6.30121 s] /proc/loadavg: 1.01 1.00 1.00 2/106 20970 /proc/meminfo: memFree=1700448/2059040 swapFree=4148292/4192956 [pid=20969] ppid=20967 vsize=19412 CPUtime=6.29 /proc/20969/stat : 20969 (bsolo_pb10) R 20967 20969 20750 0 -1 4202496 2521 0 0 0 625 4 0 0 25 0 1 0 12979619 19877888 2410 1992294400 134512640 137138936 4294068400 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20969/statm: 4853 2410 192 642 0 4209 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19412 [startup+12.7009 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20970 /proc/meminfo: memFree=1695116/2059040 swapFree=4148292/4192956 [pid=20969] ppid=20967 vsize=23832 CPUtime=12.69 /proc/20969/stat : 20969 (bsolo_pb10) R 20967 20969 20750 0 -1 4202496 3638 0 0 0 1262 7 0 0 25 0 1 0 12979619 24403968 3527 1992294400 134512640 137138936 4294068400 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20969/statm: 5958 3527 192 642 0 5314 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 23832 [startup+25.5002 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20970 /proc/meminfo: memFree=1689040/2059040 swapFree=4148292/4192956 [pid=20969] ppid=20967 vsize=29860 CPUtime=25.48 /proc/20969/stat : 20969 (bsolo_pb10) R 20967 20969 20750 0 -1 4202496 5143 0 0 0 2537 11 0 0 25 0 1 0 12979619 30576640 5032 1992294400 134512640 137138936 4294068400 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20969/statm: 7465 5032 192 642 0 6821 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 29860 [startup+51.1009 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20970 /proc/meminfo: memFree=1680980/2059040 swapFree=4148292/4192956 [pid=20969] ppid=20967 vsize=37824 CPUtime=51.08 /proc/20969/stat : 20969 (bsolo_pb10) R 20967 20969 20750 0 -1 4202496 7131 0 0 0 5091 17 0 0 25 0 1 0 12979619 38731776 7020 1992294400 134512640 137138936 4294068400 18446744073709551615 136502612 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20969/statm: 9456 7020 192 642 0 8812 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 37824 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20972 /proc/meminfo: memFree=1665728/2059040 swapFree=4148292/4192956 [pid=20969] ppid=20967 vsize=52892 CPUtime=102.27 /proc/20969/stat : 20969 (bsolo_pb10) R 20967 20969 20750 0 -1 4202496 10901 0 0 0 10199 28 0 0 25 0 1 0 12979619 54161408 10790 1992294400 134512640 137138936 4294068400 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20969/statm: 13223 10790 192 642 0 12579 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 52892 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20974 /proc/meminfo: memFree=1654816/2059040 swapFree=4148292/4192956 [pid=20969] ppid=20967 vsize=63908 CPUtime=162.25 /proc/20969/stat : 20969 (bsolo_pb10) R 20967 20969 20750 0 -1 4202496 13644 0 0 0 16188 37 0 0 25 0 1 0 12979619 65441792 13533 1992294400 134512640 137138936 4294068400 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20969/statm: 15977 13533 192 642 0 15333 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 63908 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20974 /proc/meminfo: memFree=1645144/2059040 swapFree=4148292/4192956 [pid=20969] ppid=20967 vsize=73228 CPUtime=222.23 /proc/20969/stat : 20969 (bsolo_pb10) R 20967 20969 20750 0 -1 4202496 15983 0 0 0 22178 45 0 0 25 0 1 0 12979619 74985472 15872 1992294400 134512640 137138936 4294068400 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20969/statm: 18307 15872 192 642 0 17663 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 73228 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20976 /proc/meminfo: memFree=1637084/2059040 swapFree=4148292/4192956 [pid=20969] ppid=20967 vsize=81432 CPUtime=282.22 /proc/20969/stat : 20969 (bsolo_pb10) R 20967 20969 20750 0 -1 4202496 18036 0 0 0 28170 52 0 0 25 0 1 0 12979619 83386368 17925 1992294400 134512640 137138936 4294068400 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20969/statm: 20358 17925 192 642 0 19714 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 81432 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20978 /proc/meminfo: memFree=1630884/2059040 swapFree=4148292/4192956 [pid=20969] ppid=20967 vsize=87592 CPUtime=342.2 /proc/20969/stat : 20969 (bsolo_pb10) R 20967 20969 20750 0 -1 4202496 19567 0 0 0 34165 55 0 0 25 0 1 0 12979619 89694208 19456 1992294400 134512640 137138936 4294068400 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20969/statm: 21898 19456 192 642 0 21254 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 87592 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20980 /proc/meminfo: memFree=1624808/2059040 swapFree=4148292/4192956 [pid=20969] ppid=20967 vsize=93620 CPUtime=402.19 /proc/20969/stat : 20969 (bsolo_pb10) R 20967 20969 20750 0 -1 4202496 21087 0 0 0 40159 60 0 0 25 0 1 0 12979619 95866880 20976 1992294400 134512640 137138936 4294068400 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20969/statm: 23405 20976 192 642 0 22761 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 93620 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20982 /proc/meminfo: memFree=1618856/2059040 swapFree=4148292/4192956 [pid=20969] ppid=20967 vsize=99632 CPUtime=462.17 /proc/20969/stat : 20969 (bsolo_pb10) R 20967 20969 20750 0 -1 4202496 22579 0 0 0 46153 64 0 0 25 0 1 0 12979619 102023168 22468 1992294400 134512640 137138936 4294068400 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20969/statm: 24908 22468 192 642 0 24264 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 99632 [startup+522.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20982 /proc/meminfo: memFree=1612532/2059040 swapFree=4148292/4192956 [pid=20969] ppid=20967 vsize=105864 CPUtime=522.15 /proc/20969/stat : 20969 (bsolo_pb10) R 20967 20969 20750 0 -1 4202496 24143 0 0 0 52146 69 0 0 25 0 1 0 12979619 108404736 24032 1992294400 134512640 137138936 4294068400 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20969/statm: 26466 24032 192 642 0 25822 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 105864 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20984 /proc/meminfo: memFree=1608564/2059040 swapFree=4148292/4192956 [pid=20969] ppid=20967 vsize=109216 CPUtime=582.14 /proc/20969/stat : 20969 (bsolo_pb10) R 20967 20969 20750 0 -1 4202496 25106 0 0 0 58141 73 0 0 25 0 1 0 12979619 111837184 24870 1992294400 134512640 137138936 4294068400 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20969/statm: 27304 24870 192 642 0 26660 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 109216 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20986 /proc/meminfo: memFree=1608440/2059040 swapFree=4148292/4192956 [pid=20969] ppid=20967 vsize=109216 CPUtime=642.13 /proc/20969/stat : 20969 (bsolo_pb10) R 20967 20969 20750 0 -1 4202496 25106 0 0 0 64133 80 0 0 25 0 1 0 12979619 111837184 24870 1992294400 134512640 137138936 4294068400 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20969/statm: 27304 24870 192 642 0 26660 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 109216 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1608068/2059040 swapFree=4148292/4192956 [pid=20969] ppid=20967 vsize=109216 CPUtime=1122 /proc/20969/stat : 20969 (bsolo_pb10) R 20967 20969 20750 0 -1 4202496 25106 0 0 0 112081 119 0 0 25 0 1 0 12979619 111837184 24870 1992294400 134512640 137138936 4294068400 18446744073709551615 135984558 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20969/statm: 27304 24870 192 642 0 26660 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 109216 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 21000 /proc/meminfo: memFree=1605960/2059040 swapFree=4148292/4192956 [pid=20969] ppid=20967 vsize=111928 CPUtime=1181.98 /proc/20969/stat : 20969 (bsolo_pb10) R 20967 20969 20750 0 -1 4202496 25792 0 0 0 118076 122 0 0 25 0 1 0 12979619 114614272 25556 1992294400 134512640 137138936 4294068400 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20969/statm: 27982 25556 192 642 0 27338 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 111928 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 21002 /proc/meminfo: memFree=1601124/2059040 swapFree=4148292/4192956 [pid=20969] ppid=20967 vsize=116524 CPUtime=1241.97 /proc/20969/stat : 20969 (bsolo_pb10) R 20967 20969 20750 0 -1 4202496 26942 0 0 0 124072 125 0 0 25 0 1 0 12979619 119320576 26706 1992294400 134512640 137138936 4294068400 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20969/statm: 29131 26706 192 642 0 28487 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 116524 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 21004 /proc/meminfo: memFree=1597280/2059040 swapFree=4148292/4192956 [pid=20969] ppid=20967 vsize=120296 CPUtime=1301.97 /proc/20969/stat : 20969 (bsolo_pb10) R 20967 20969 20750 0 -1 4202496 27876 0 0 0 130066 131 0 0 25 0 1 0 12979619 123183104 27640 1992294400 134512640 137138936 4294068400 18446744073709551615 134542817 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20969/statm: 30074 27640 192 642 0 29430 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 120296 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 21006 /proc/meminfo: memFree=1593188/2059040 swapFree=4148292/4192956 [pid=20969] ppid=20967 vsize=124500 CPUtime=1361.95 /proc/20969/stat : 20969 (bsolo_pb10) R 20967 20969 20750 0 -1 4202496 28913 0 0 0 136059 136 0 0 25 0 1 0 12979619 127488000 28677 1992294400 134512640 137138936 4294068400 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20969/statm: 31125 28677 192 642 0 30481 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 124500 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/106 21006 /proc/meminfo: memFree=1589468/2059040 swapFree=4148292/4192956 [pid=20969] ppid=20967 vsize=128124 CPUtime=1421.94 /proc/20969/stat : 20969 (bsolo_pb10) R 20967 20969 20750 0 -1 4202496 29830 0 0 0 142055 139 0 0 25 0 1 0 12979619 131198976 29594 1992294400 134512640 137138936 4294068400 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20969/statm: 32031 29594 192 642 0 31387 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 128124 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 21008 /proc/meminfo: memFree=1587980/2059040 swapFree=4148292/4192956 [pid=20969] ppid=20967 vsize=129056 CPUtime=1481.91 /proc/20969/stat : 20969 (bsolo_pb10) R 20967 20969 20750 0 -1 4202496 30222 0 0 0 148050 141 0 0 25 0 1 0 12979619 132153344 29836 1992294400 134512640 137138936 4294068400 18446744073709551615 134540740 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20969/statm: 32264 29836 192 642 0 31620 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 129056 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 21010 /proc/meminfo: memFree=1587856/2059040 swapFree=4148292/4192956 [pid=20969] ppid=20967 vsize=129056 CPUtime=1541.9 /proc/20969/stat : 20969 (bsolo_pb10) R 20967 20969 20750 0 -1 4202496 30222 0 0 0 154046 144 0 0 25 0 1 0 12979619 132153344 29836 1992294400 134512640 137138936 4294068400 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20969/statm: 32264 29836 192 642 0 31620 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 129056 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 21021 /proc/meminfo: memFree=1587360/2059040 swapFree=4148292/4192956 [pid=20969] ppid=20967 vsize=129056 CPUtime=1601.86 /proc/20969/stat : 20969 (bsolo_pb10) R 20967 20969 20750 0 -1 4202496 30222 0 0 0 160034 152 0 0 25 0 1 0 12979619 132153344 29836 1992294400 134512640 137138936 4294068400 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20969/statm: 32264 29836 192 642 0 31620 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 129056 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 21023 /proc/meminfo: memFree=1587484/2059040 swapFree=4148292/4192956 [pid=20969] ppid=20967 vsize=129056 CPUtime=1661.85 /proc/20969/stat : 20969 (bsolo_pb10) R 20967 20969 20750 0 -1 4202496 30222 0 0 0 166027 158 0 0 25 0 1 0 12979619 132153344 29836 1992294400 134512640 137138936 4294068400 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20969/statm: 32264 29836 192 642 0 31620 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 129056 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 21023 /proc/meminfo: memFree=1587484/2059040 swapFree=4148292/4192956 [pid=20969] ppid=20967 vsize=129056 CPUtime=1721.83 /proc/20969/stat : 20969 (bsolo_pb10) R 20967 20969 20750 0 -1 4202496 30222 0 0 0 172019 164 0 0 25 0 1 0 12979619 132153344 29836 1992294400 134512640 137138936 4294068400 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20969/statm: 32264 29836 192 642 0 31620 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 129056 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 21025 /proc/meminfo: memFree=1587484/2059040 swapFree=4148292/4192956 [pid=20969] ppid=20967 vsize=129056 CPUtime=1781.82 /proc/20969/stat : 20969 (bsolo_pb10) R 20967 20969 20750 0 -1 4202496 30222 0 0 0 178012 170 0 0 25 0 1 0 12979619 132153344 29836 1992294400 134512640 137138936 4294068400 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20969/statm: 32264 29836 192 642 0 31620 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 129056 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/106 21025 /proc/meminfo: memFree=1587484/2059040 swapFree=4148292/4192956 [pid=20969] ppid=20967 vsize=129056 CPUtime=1791.42 /proc/20969/stat : 20969 (bsolo_pb10) R 20967 20969 20750 0 -1 4202496 30222 0 0 0 178972 170 0 0 25 0 1 0 12979619 132153344 29836 1992294400 134512640 137138936 4294068400 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20969/statm: 32264 29836 192 642 0 31620 0 Current children cumulated CPU time (s) 1791.42 Current children cumulated vsize (KiB) 129056 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/106 21025 /proc/meminfo: memFree=1587484/2059040 swapFree=4148292/4192956 [pid=20969] ppid=20967 vsize=129056 CPUtime=1794.63 /proc/20969/stat : 20969 (bsolo_pb10) R 20967 20969 20750 0 -1 4202496 30222 0 0 0 179292 171 0 0 25 0 1 0 12979619 132153344 29836 1992294400 134512640 137138936 4294068400 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20969/statm: 32264 29836 192 642 0 31620 0 Current children cumulated CPU time (s) 1794.63 Current children cumulated vsize (KiB) 129056 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/106 21025 /proc/meminfo: memFree=1587484/2059040 swapFree=4148292/4192956 [pid=20969] ppid=20967 vsize=129056 CPUtime=1796.22 /proc/20969/stat : 20969 (bsolo_pb10) R 20967 20969 20750 0 -1 4202496 30222 0 0 0 179451 171 0 0 25 0 1 0 12979619 132153344 29836 1992294400 134512640 137138936 4294068400 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20969/statm: 32264 29836 192 642 0 31620 0 Current children cumulated CPU time (s) 1796.22 Current children cumulated vsize (KiB) 129056 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/106 21025 /proc/meminfo: memFree=1587484/2059040 swapFree=4148292/4192956 [pid=20969] ppid=20967 vsize=129056 CPUtime=1797.02 /proc/20969/stat : 20969 (bsolo_pb10) R 20967 20969 20750 0 -1 4202496 30222 0 0 0 179531 171 0 0 25 0 1 0 12979619 132153344 29836 1992294400 134512640 137138936 4294068400 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20969/statm: 32264 29836 192 642 0 31620 0 Current children cumulated CPU time (s) 1797.02 Current children cumulated vsize (KiB) 129056 [startup+1797.9 s] /proc/loadavg: 1.00 1.00 1.00 2/106 21025 /proc/meminfo: memFree=1587484/2059040 swapFree=4148292/4192956 [pid=20969] ppid=20967 vsize=129056 CPUtime=1797.42 /proc/20969/stat : 20969 (bsolo_pb10) R 20967 20969 20750 0 -1 4202496 30222 0 0 0 179571 171 0 0 25 0 1 0 12979619 132153344 29836 1992294400 134512640 137138936 4294068400 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20969/statm: 32264 29836 192 642 0 31620 0 Current children cumulated CPU time (s) 1797.42 Current children cumulated vsize (KiB) 129056 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 21025 /proc/meminfo: memFree=1587484/2059040 swapFree=4148292/4192956 [pid=20969] ppid=20967 vsize=129056 CPUtime=1797.82 /proc/20969/stat : 20969 (bsolo_pb10) R 20967 20969 20750 0 -1 4202496 30222 0 0 0 179611 171 0 0 25 0 1 0 12979619 132153344 29836 1992294400 134512640 137138936 4294068400 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20969/statm: 32264 29836 192 642 0 31620 0 Current children cumulated CPU time (s) 1797.82 Current children cumulated vsize (KiB) 129056 [startup+1798.4 s] /proc/loadavg: 1.00 1.00 1.00 2/106 21027 /proc/meminfo: memFree=1587484/2059040 swapFree=4148292/4192956 [pid=20969] ppid=20967 vsize=129056 CPUtime=1797.92 /proc/20969/stat : 20969 (bsolo_pb10) R 20967 20969 20750 0 -1 4202496 30222 0 0 0 179621 171 0 0 25 0 1 0 12979619 132153344 29836 1992294400 134512640 137138936 4294068400 18446744073709551615 136502585 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20969/statm: 32264 29836 192 642 0 31620 0 Current children cumulated CPU time (s) 1797.92 Current children cumulated vsize (KiB) 129056 Child status: 0 Real time (s): 1798.5 CPU time (s): 1798.02 CPU user time (s): 1796.29 CPU system time (s): 1.72974 CPU usage (%): 99.9735 Max. virtual memory (cumulated for all children) (KiB): 129656 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.29 system time used= 1.72974 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 30223 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= 20557 runsolver used 2.81857 second user time and 8.64169 second system time The end
Begin job on node082 at 2010-06-16 21:34:21 IDJOB=2671063 IDBENCH=48248 IDSOLVER=1162 FILE ID=node082/2671063-1276716861 PBS_JOBID= 11174157 Free space on /tmp= 62584 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_25_2.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2671063-1276716861/watcher-2671063-1276716861 -o /tmp/evaluation-result-2671063-1276716861/solver-2671063-1276716861 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2671063-1276716861.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1eb933a10fcc575d2df25e98511c4b07 RANDOM SEED=330191840 node082.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.215 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.43 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.215 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 : 5999.41 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1709292 kB Buffers: 104192 kB Cached: 144632 kB SwapCached: 6840 kB Active: 107180 kB Inactive: 163316 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1709292 kB SwapTotal: 4192956 kB SwapFree: 4148292 kB Dirty: 4040 kB Writeback: 0 kB AnonPages: 18876 kB Mapped: 13288 kB Slab: 57564 kB PageTables: 4048 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182104 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2671063-1276716861.opb Free space on /tmp at the end= 62580 MiB End job on node082 at 2010-06-16 22:04:20