Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB09: bsolo 3.1 | SAT | -7 | 1798.01 | 1798.34 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_25_4.opb |
MD5SUM | 0c3fb28b3ecb8f1eba2bffa356ef5364 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -7 |
Best CPU time to get the best result obtained on this benchmark | 9.47556 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -7 |
Optimality of the best value was proved | YES |
Number of variables | 100 |
Total number of constraints | 151 |
Number of constraints which are clauses | 50 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 101 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 100 |
Number of terms in the objective function | 50 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 50 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 100 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 2932 |
Sum of products size (including duplicates) | 5864 |
Number of different products | 1466 |
Sum of products size | 2932 |
0.00/0.00 c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 15500 MB 0.00/0.00 c Instance file HOME/instance-3737575-1338735615.opb 0.00/0.00 c File size is 117803 bytes. 0.00/0.00 c Highest Coefficient sum: 100 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.008 s 0.00/0.01 c Var: 1566 Constr: 3084 1516/102/1466 Lit: 12028 Watch. Lit: 10464 0.00/0.01 c Obj. Vars: 50 (3.19285 % of total variables) 0.59/0.69 c Pre-processing Time: 0.692 s 0.59/0.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.69 c 0 1566 3084 12028 3 10464 39303 0 0 0.69 0.59/0.69 c Switching off lower bounding mode. 0.59/0.69 o -1 0.59/0.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.69 c 0 1566 3085 12078 3 10467 39337 1 0 0.69 0.59/0.69 o -2 0.59/0.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.69 c 4 1566 3091 12372 4 10482 39353 7 5 0.69 0.59/0.69 o -3 0.69/0.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.70 c 41 1566 3130 13022 4 10565 39370 46 58 0.70 0.69/0.70 o -4 0.69/0.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.72 c 89 1566 3180 14967 4 10672 39387 96 126 0.70 0.69/0.72 c 189 1566 3282 18173 5 10880 43326 198 262 0.72 0.69/0.72 o -5 0.79/0.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.80 c 216 1566 3310 19004 5 10941 39403 226 299 0.72 0.79/0.80 c 316 1566 3417 22438 6 11160 43344 333 427 0.74 0.79/0.80 c 566 1566 3679 27319 7 11692 47679 595 744 0.76 0.79/0.80 o -6 241.22/241.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 241.22/241.33 c 906 1566 4029 37150 9 12398 39420 945 1126 0.80 241.22/241.33 c 1006 1566 4132 39666 9 12615 43363 1048 1219 0.82 241.22/241.33 c 1256 1566 4386 45248 10 13123 47700 1302 1472 0.85 241.22/241.33 c 1738 1566 4891 60226 12 14133 52471 1807 1891 0.92 241.22/241.33 c 2552 1566 5783 90357 15 15978 57719 2699 2514 1.01 241.22/241.33 c 3872 1566 7256 156574 21 18926 63491 4172 3163 1.22 241.22/241.33 c 5953 1566 9600 261324 27 23755 69841 6516 3720 1.60 241.22/241.33 c 9176 1566 13405 455425 33 31527 76826 10321 3721 2.47 241.22/241.33 c 14112 1566 18896 702333 37 42969 84509 15812 3668 3.85 241.22/241.33 c 21618 1566 27685 1129906 40 61254 92960 24601 2915 7.42 241.22/241.33 c 32979 1566 41130 1793251 43 89186 102257 38046 1973 16.71 241.22/241.33 c 50125 1566 61815 2889859 46 131442 112483 58731 1385 36.19 241.22/241.33 c 75944 1566 94023 4649943 49 197554 123732 90939 850 89.30 241.22/241.33 c 114777 1566 34535 1589074 46 75288 136106 31451 642 178.77 241.22/241.33 o -7 1797.96/1798.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.96/1798.33 c 156845 1566 83813 4285397 51 176418 39437 80729 650 241.26 1797.96/1798.33 c 156945 1566 20497 883108 43 46193 43381 17413 643 243.72 1797.96/1798.33 c 157195 1566 20769 893910 43 46761 47720 17685 644 243.81 1797.96/1798.33 c 157670 1566 21296 915320 42 47883 52493 18212 646 244.00 1797.96/1798.33 c 158484 1566 22218 960133 43 49727 57743 19134 648 244.33 1797.96/1798.33 c 159804 1566 23710 1027283 43 52775 63518 20626 652 244.89 1797.96/1798.33 c 161885 1566 26142 1143765 43 57716 69870 23058 658 245.95 1797.96/1798.33 c 165108 1566 29810 1306028 43 65136 76858 26726 666 247.67 1797.96/1798.33 c 170044 1566 35579 1575348 44 76784 84544 32495 678 250.62 1797.96/1798.33 c 177550 1566 44169 1984943 44 94113 92999 41085 693 256.20 1797.96/1798.33 c 188911 1566 57852 2700926 46 122075 102299 54768 703 268.66 1797.96/1798.33 c 206055 1566 78399 3773677 48 164073 112529 75315 697 295.31 1797.96/1798.33 c 231875 1566 109264 5332632 48 227238 123782 106180 649 357.22 1797.96/1798.33 c 270707 1566 52608 2307383 43 111185 136161 49524 622 434.69 1797.96/1798.33 c 329059 1566 122291 5955963 48 252784 149778 119207 604 544.74 1797.96/1798.33 c 416693 1566 98294 4762012 48 203864 164756 95210 558 746.08 1797.96/1798.33 c 548247 1566 115113 5521919 47 240095 181232 112029 485 1128.82 1797.96/1798.33 c 745679 1531 172437 8141097 47 354964 199356 169353 422 1766.35 1797.96/1798.33 c Resources Exceeded 1797.96/1798.33 v -x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 x1525 -x1526 -x1527 x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 x84 -x85 x86 -x87 -x88 x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 x99 -x100 1797.96/1798.33 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.96/1798.33 c 40 753992 155834 1241578 181348 8588757 178264 419 1798.01 1797.96/1798.33 c Objective: -7 1797.96/1798.33 s SATISFIABLE 1797.96/1798.33 c Total time: 1798.01 s
OK -7
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3737575-1338735615/watcher-3737575-1338735615 -o /tmp/evaluation-result-3737575-1338735615/solver-3737575-1338735615 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3737575-1338735615.opb running on 4 cores: 0,2,4,6 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.04 2.02 2.00 3/177 2225 /proc/meminfo: memFree=28106104/32873648 swapFree=6864/6864 [pid=2225] ppid=2223 vsize=11048 CPUtime=0 cores=0,2,4,6 /proc/2225/stat : 2225 (bsolo) R 2223 2225 31961 0 -1 4202496 348 0 0 0 0 0 0 0 20 0 1 0 339687502 11313152 302 33554432000 134512640 137136520 4291178352 4291176744 136504651 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/2225/statm: 2762 302 188 641 0 2089 0 [startup+0.0408239 s] /proc/loadavg: 2.04 2.02 2.00 3/177 2225 /proc/meminfo: memFree=28106104/32873648 swapFree=6864/6864 [pid=2225] ppid=2223 vsize=11600 CPUtime=0.03 cores=0,2,4,6 /proc/2225/stat : 2225 (bsolo) R 2223 2225 31961 0 -1 4202496 532 0 0 0 3 0 0 0 20 0 1 0 339687502 11878400 457 33554432000 134512640 137136520 4291178352 4291158236 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/2225/statm: 2900 457 189 641 0 2256 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 11600 [startup+0.100147 s] /proc/loadavg: 2.04 2.02 2.00 3/177 2225 /proc/meminfo: memFree=28106104/32873648 swapFree=6864/6864 [pid=2225] ppid=2223 vsize=11600 CPUtime=0.09 cores=0,2,4,6 /proc/2225/stat : 2225 (bsolo) R 2223 2225 31961 0 -1 4202496 532 0 0 0 9 0 0 0 20 0 1 0 339687502 11878400 457 33554432000 134512640 137136520 4291178352 4291157832 136502204 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/2225/statm: 2900 457 189 641 0 2256 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11600 [startup+0.300113 s] /proc/loadavg: 2.04 2.02 2.00 3/177 2225 /proc/meminfo: memFree=28106104/32873648 swapFree=6864/6864 [pid=2225] ppid=2223 vsize=11600 CPUtime=0.29 cores=0,2,4,6 /proc/2225/stat : 2225 (bsolo) R 2223 2225 31961 0 -1 4202496 532 0 0 0 29 0 0 0 20 0 1 0 339687502 11878400 457 33554432000 134512640 137136520 4291178352 4291158236 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/2225/statm: 2900 457 189 641 0 2256 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11600 [startup+0.700157 s] /proc/loadavg: 2.04 2.02 2.00 3/177 2225 /proc/meminfo: memFree=28106104/32873648 swapFree=6864/6864 [pid=2225] ppid=2223 vsize=11732 CPUtime=0.69 cores=0,2,4,6 /proc/2225/stat : 2225 (bsolo) R 2223 2225 31961 0 -1 4202496 578 0 0 0 69 0 0 0 20 0 1 0 339687502 12013568 503 33554432000 134512640 137136520 4291178352 4291177280 134543884 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/2225/statm: 2933 503 197 641 0 2289 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11732 [startup+1.5001 s] /proc/loadavg: 2.04 2.02 2.00 3/178 2226 /proc/meminfo: memFree=28104128/32873648 swapFree=6864/6864 [pid=2225] ppid=2223 vsize=15132 CPUtime=1.49 cores=0,2,4,6 /proc/2225/stat : 2225 (bsolo) R 2223 2225 31961 0 -1 4202496 1415 0 0 0 149 0 0 0 20 0 1 0 339687502 15495168 1340 33554432000 134512640 137136520 4291178352 4291176884 134551175 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/2225/statm: 3783 1340 197 641 0 3139 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15132 [startup+3.1001 s] /proc/loadavg: 2.04 2.02 2.00 3/178 2226 /proc/meminfo: memFree=28099168/32873648 swapFree=6864/6864 [pid=2225] ppid=2223 vsize=20240 CPUtime=3.09 cores=0,2,4,6 /proc/2225/stat : 2225 (bsolo) R 2223 2225 31961 0 -1 4202496 2692 0 0 0 308 1 0 0 20 0 1 0 339687502 20725760 2617 33554432000 134512640 137136520 4291178352 4291176804 136499660 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/2225/statm: 5060 2617 197 641 0 4416 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 20240 [startup+6.30014 s] /proc/loadavg: 2.04 2.02 2.00 3/178 2226 /proc/meminfo: memFree=28091356/32873648 swapFree=6864/6864 [pid=2225] ppid=2223 vsize=26912 CPUtime=6.29 cores=0,2,4,6 /proc/2225/stat : 2225 (bsolo) R 2223 2225 31961 0 -1 4202496 4360 0 0 0 626 3 0 0 20 0 1 0 339687502 27557888 4285 33554432000 134512640 137136520 4291178352 4291177468 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/2225/statm: 6728 4285 197 641 0 6084 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26912 [startup+12.7002 s] /proc/loadavg: 2.04 2.02 2.00 3/178 2226 /proc/meminfo: memFree=28081384/32873648 swapFree=6864/6864 [pid=2225] ppid=2223 vsize=34856 CPUtime=12.69 cores=0,2,4,6 /proc/2225/stat : 2225 (bsolo) R 2223 2225 31961 0 -1 4202496 6356 0 0 0 1265 4 0 0 20 0 1 0 339687502 35692544 6281 33554432000 134512640 137136520 4291178352 4291177280 134543927 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/2225/statm: 8714 6281 197 641 0 8070 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 34856 [startup+25.5002 s] /proc/loadavg: 2.03 2.02 2.00 3/177 2226 /proc/meminfo: memFree=28069964/32873648 swapFree=6864/6864 [pid=2225] ppid=2223 vsize=46460 CPUtime=25.49 cores=0,2,4,6 /proc/2225/stat : 2225 (bsolo) R 2223 2225 31961 0 -1 4202496 9259 0 0 0 2542 7 0 0 20 0 1 0 339687502 47575040 9184 33554432000 134512640 137136520 4291178352 4291177248 134543884 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/2225/statm: 11615 9184 198 641 0 10971 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 46460 [startup+51.1002 s] /proc/loadavg: 2.02 2.02 2.00 3/178 2250 /proc/meminfo: memFree=28052204/32873648 swapFree=6864/6864 [pid=2225] ppid=2223 vsize=62944 CPUtime=51.07 cores=0,2,4,6 /proc/2225/stat : 2225 (bsolo) R 2223 2225 31961 0 -1 4202496 13385 0 0 0 5097 10 0 0 20 0 1 0 339687502 64454656 13300 33554432000 134512640 137136520 4291178352 4291177468 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/2225/statm: 15736 13300 198 641 0 15092 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 62944 [startup+102.307 s] /proc/loadavg: 2.01 2.02 2.00 3/178 2250 /proc/meminfo: memFree=28027360/32873648 swapFree=6864/6864 [pid=2225] ppid=2223 vsize=86360 CPUtime=102.25 cores=0,2,4,6 /proc/2225/stat : 2225 (bsolo) R 2223 2225 31961 0 -1 4202496 19253 0 0 0 10209 16 0 0 20 0 1 0 339687502 88432640 19148 33554432000 134512640 137136520 4291178352 4291177280 134543942 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/2225/statm: 21590 19148 198 641 0 20946 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 86360 [startup+162.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 2250 /proc/meminfo: memFree=28002444/32873648 swapFree=6864/6864 [pid=2225] ppid=2223 vsize=107788 CPUtime=162.24 cores=0,2,4,6 /proc/2225/stat : 2225 (bsolo) R 2223 2225 31961 0 -1 4202496 24606 0 0 0 16201 23 0 0 20 0 1 0 339687502 110374912 24501 33554432000 134512640 137136520 4291178352 4291177280 134544396 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/2225/statm: 26947 24501 198 641 0 26303 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 107788 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 2250 /proc/meminfo: memFree=27992896/32873648 swapFree=6864/6864 [pid=2225] ppid=2223 vsize=108904 CPUtime=222.23 cores=0,2,4,6 /proc/2225/stat : 2225 (bsolo) R 2223 2225 31961 0 -1 4202496 25017 0 0 0 22195 28 0 0 20 0 1 0 339687502 111517696 24790 33554432000 134512640 137136520 4291178352 4291177280 134544597 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/2225/statm: 27226 24790 198 641 0 26582 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 108904 [startup+282.3 s] /proc/loadavg: 2.13 2.03 2.01 3/177 2250 /proc/meminfo: memFree=27988584/32873648 swapFree=6864/6864 [pid=2225] ppid=2223 vsize=109272 CPUtime=282.22 cores=0,2,4,6 /proc/2225/stat : 2225 (bsolo) R 2223 2225 31961 0 -1 4202496 25113 0 0 0 28187 35 0 0 20 0 1 0 339687502 111894528 24869 33554432000 134512640 137136520 4291178352 4291177468 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/2225/statm: 27318 24869 198 641 0 26674 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 109272 [startup+342.3 s] /proc/loadavg: 2.05 2.02 2.00 3/177 2251 /proc/meminfo: memFree=27987968/32873648 swapFree=6864/6864 [pid=2225] ppid=2223 vsize=109272 CPUtime=342.21 cores=0,2,4,6 /proc/2225/stat : 2225 (bsolo) R 2223 2225 31961 0 -1 4202496 25113 0 0 0 34181 40 0 0 20 0 1 0 339687502 111894528 24869 33554432000 134512640 137136520 4291178352 4291177064 136502204 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/2225/statm: 27318 24869 198 641 0 26674 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 109272 [startup+402.3 s] /proc/loadavg: 2.16 2.05 2.01 3/177 2251 /proc/meminfo: memFree=27988072/32873648 swapFree=6864/6864 [pid=2225] ppid=2223 vsize=109272 CPUtime=402.19 cores=0,2,4,6 /proc/2225/stat : 2225 (bsolo) R 2223 2225 31961 0 -1 4202496 25113 0 0 0 40176 43 0 0 20 0 1 0 339687502 111894528 24869 33554432000 134512640 137136520 4291178352 4291177076 136499629 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/2225/statm: 27318 24869 198 641 0 26674 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 109272 [startup+462.3 s] /proc/loadavg: 2.06 2.04 2.00 3/177 2251 /proc/meminfo: memFree=27987576/32873648 swapFree=6864/6864 [pid=2225] ppid=2223 vsize=109276 CPUtime=462.19 cores=0,2,4,6 /proc/2225/stat : 2225 (bsolo) R 2223 2225 31961 0 -1 4202496 25237 0 0 0 46169 50 0 0 20 0 1 0 339687502 111898624 24870 33554432000 134512640 137136520 4291178352 4291177468 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/2225/statm: 27319 24870 198 641 0 26675 0 Current children cumulated CPU time (s) 462.19 Current children cumulated vsize (KiB) 109276 [startup+522.3 s] /proc/loadavg: 2.10 2.04 2.01 3/177 2251 /proc/meminfo: memFree=27975052/32873648 swapFree=6864/6864 [pid=2225] ppid=2223 vsize=109276 CPUtime=522.17 cores=0,2,4,6 /proc/2225/stat : 2225 (bsolo) R 2223 2225 31961 0 -1 4202496 25237 0 0 0 52163 54 0 0 20 0 1 0 339687502 111898624 24870 33554432000 134512640 137136520 4291178352 4291177280 134543831 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/2225/statm: 27319 24870 198 641 0 26675 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 109276 [startup+582.3 s] /proc/loadavg: 2.03 2.03 2.00 3/177 2251 /proc/meminfo: memFree=27969208/32873648 swapFree=6864/6864 [pid=2225] ppid=2223 vsize=112100 CPUtime=582.16 cores=0,2,4,6 /proc/2225/stat : 2225 (bsolo) R 2223 2225 31961 0 -1 4202496 25945 0 0 0 58158 58 0 0 20 0 1 0 339687502 114790400 25578 33554432000 134512640 137136520 4291178352 4291177120 134571594 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/2225/statm: 28025 25578 198 641 0 27381 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 112100 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=27941832/32873648 swapFree=6864/6864 [pid=2225] ppid=2223 vsize=138496 CPUtime=1062.08 cores=0,2,4,6 /proc/2225/stat : 2225 (bsolo) R 2223 2225 31961 0 -1 4202496 32880 0 0 0 106113 95 0 0 20 0 1 0 339687502 141819904 32189 33554432000 134512640 137136520 4291178352 4291177280 134543948 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/2225/statm: 34624 32189 198 641 0 33980 0 Current children cumulated CPU time (s) 1062.08 Current children cumulated vsize (KiB) 138496 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 2256 /proc/meminfo: memFree=27942080/32873648 swapFree=6864/6864 [pid=2225] ppid=2223 vsize=138496 CPUtime=1122.07 cores=0,2,4,6 /proc/2225/stat : 2225 (bsolo) R 2223 2225 31961 0 -1 4202496 32880 0 0 0 112109 98 0 0 20 0 1 0 339687502 141819904 32189 33554432000 134512640 137136520 4291178352 4291177280 134543831 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/2225/statm: 34624 32189 198 641 0 33980 0 Current children cumulated CPU time (s) 1122.07 Current children cumulated vsize (KiB) 138496 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 2256 /proc/meminfo: memFree=27942204/32873648 swapFree=6864/6864 [pid=2225] ppid=2223 vsize=138496 CPUtime=1182.06 cores=0,2,4,6 /proc/2225/stat : 2225 (bsolo) R 2223 2225 31961 0 -1 4202496 32880 0 0 0 118103 103 0 0 20 0 1 0 339687502 141819904 32189 33554432000 134512640 137136520 4291178352 4291177280 134543819 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/2225/statm: 34624 32189 198 641 0 33980 0 Current children cumulated CPU time (s) 1182.06 Current children cumulated vsize (KiB) 138496 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 2259 /proc/meminfo: memFree=27941964/32873648 swapFree=6864/6864 [pid=2225] ppid=2223 vsize=138496 CPUtime=1242.06 cores=0,2,4,6 /proc/2225/stat : 2225 (bsolo) R 2223 2225 31961 0 -1 4202496 32880 0 0 0 124100 106 0 0 20 0 1 0 339687502 141819904 32189 33554432000 134512640 137136520 4291178352 4291177280 134543927 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/2225/statm: 34624 32189 198 641 0 33980 0 Current children cumulated CPU time (s) 1242.06 Current children cumulated vsize (KiB) 138496 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 2260 /proc/meminfo: memFree=27942088/32873648 swapFree=6864/6864 [pid=2225] ppid=2223 vsize=138496 CPUtime=1302.05 cores=0,2,4,6 /proc/2225/stat : 2225 (bsolo) R 2223 2225 31961 0 -1 4202496 32880 0 0 0 130096 109 0 0 20 0 1 0 339687502 141819904 32189 33554432000 134512640 137136520 4291178352 4291177280 134543793 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/2225/statm: 34624 32189 198 641 0 33980 0 Current children cumulated CPU time (s) 1302.05 Current children cumulated vsize (KiB) 138496 [startup+1362.3 s] /proc/loadavg: 2.08 2.02 2.01 3/177 2260 /proc/meminfo: memFree=27938492/32873648 swapFree=6864/6864 [pid=2225] ppid=2223 vsize=142808 CPUtime=1362.04 cores=0,2,4,6 /proc/2225/stat : 2225 (bsolo) R 2223 2225 31961 0 -1 4202496 33959 0 0 0 136092 112 0 0 20 0 1 0 339687502 146235392 33268 33554432000 134512640 137136520 4291178352 4291177248 134543819 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/2225/statm: 35702 33268 198 641 0 35058 0 Current children cumulated CPU time (s) 1362.04 Current children cumulated vsize (KiB) 142808 [startup+1422.31 s] /proc/loadavg: 2.03 2.01 2.00 3/177 2260 /proc/meminfo: memFree=27931228/32873648 swapFree=6864/6864 [pid=2225] ppid=2223 vsize=149120 CPUtime=1422.03 cores=0,2,4,6 /proc/2225/stat : 2225 (bsolo) R 2223 2225 31961 0 -1 4202496 35721 0 0 0 142087 116 0 0 20 0 1 0 339687502 152698880 34846 33554432000 134512640 137136520 4291178352 4291177280 134543819 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/2225/statm: 37280 34846 198 641 0 36636 0 Current children cumulated CPU time (s) 1422.03 Current children cumulated vsize (KiB) 149120 [startup+1482.3 s] /proc/loadavg: 2.06 2.02 2.00 3/177 2360 /proc/meminfo: memFree=27986084/32873648 swapFree=6864/6864 [pid=2225] ppid=2223 vsize=149120 CPUtime=1482.01 cores=0,2,4,6 /proc/2225/stat : 2225 (bsolo) R 2223 2225 31961 0 -1 4202496 35721 0 0 0 148078 123 0 0 20 0 1 0 339687502 152698880 34846 33554432000 134512640 137136520 4291178352 4291177064 136502004 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/2225/statm: 37280 34846 198 641 0 36636 0 Current children cumulated CPU time (s) 1482.01 Current children cumulated vsize (KiB) 149120 [startup+1542.3 s] /proc/loadavg: 2.02 2.02 2.00 3/177 2360 /proc/meminfo: memFree=27693908/32873648 swapFree=6864/6864 [pid=2225] ppid=2223 vsize=149120 CPUtime=1542.01 cores=0,2,4,6 /proc/2225/stat : 2225 (bsolo) R 2223 2225 31961 0 -1 4202496 35721 0 0 0 154073 128 0 0 20 0 1 0 339687502 152698880 34846 33554432000 134512640 137136520 4291178352 4291177280 134544449 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/2225/statm: 37280 34846 198 641 0 36636 0 Current children cumulated CPU time (s) 1542.01 Current children cumulated vsize (KiB) 149120 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.00 3/178 2362 /proc/meminfo: memFree=27465408/32873648 swapFree=6864/6864 [pid=2225] ppid=2223 vsize=149120 CPUtime=1602 cores=0,2,4,6 /proc/2225/stat : 2225 (bsolo) R 2223 2225 31961 0 -1 4202496 35721 0 0 0 160068 132 0 0 20 0 1 0 339687502 152698880 34846 33554432000 134512640 137136520 4291178352 4291177280 134544402 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/2225/statm: 37280 34846 198 641 0 36636 0 Current children cumulated CPU time (s) 1602 Current children cumulated vsize (KiB) 149120 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 2362 /proc/meminfo: memFree=27319000/32873648 swapFree=6864/6864 [pid=2225] ppid=2223 vsize=149120 CPUtime=1661.98 cores=0,2,4,6 /proc/2225/stat : 2225 (bsolo) R 2223 2225 31961 0 -1 4202496 35721 0 0 0 166062 136 0 0 20 0 1 0 339687502 152698880 34846 33554432000 134512640 137136520 4291178352 4291177280 134543819 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/2225/statm: 37280 34846 198 641 0 36636 0 Current children cumulated CPU time (s) 1661.98 Current children cumulated vsize (KiB) 149120 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 2362 /proc/meminfo: memFree=27213876/32873648 swapFree=6864/6864 [pid=2225] ppid=2223 vsize=149120 CPUtime=1721.98 cores=0,2,4,6 /proc/2225/stat : 2225 (bsolo) R 2223 2225 31961 0 -1 4202496 35721 0 0 0 172058 140 0 0 20 0 1 0 339687502 152698880 34846 33554432000 134512640 137136520 4291178352 4291177280 134543831 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/2225/statm: 37280 34846 198 641 0 36636 0 Current children cumulated CPU time (s) 1721.98 Current children cumulated vsize (KiB) 149120 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 2362 /proc/meminfo: memFree=27113592/32873648 swapFree=6864/6864 [pid=2225] ppid=2223 vsize=149120 CPUtime=1781.97 cores=0,2,4,6 /proc/2225/stat : 2225 (bsolo) R 2223 2225 31961 0 -1 4202496 35721 0 0 0 178054 143 0 0 20 0 1 0 339687502 152698880 34846 33554432000 134512640 137136520 4291178352 4291177280 134543865 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/2225/statm: 37280 34846 198 641 0 36636 0 Current children cumulated CPU time (s) 1781.97 Current children cumulated vsize (KiB) 149120 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 2.00 2.00 2.00 3/178 2365 /proc/meminfo: memFree=27097524/32873648 swapFree=6864/6864 [pid=2225] ppid=2223 vsize=149120 CPUtime=1791.57 cores=0,2,4,6 /proc/2225/stat : 2225 (bsolo) R 2223 2225 31961 0 -1 4202496 35721 0 0 0 179013 144 0 0 20 0 1 0 339687502 152698880 34846 33554432000 134512640 137136520 4291178352 4291177280 134543831 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/2225/statm: 37280 34846 198 641 0 36636 0 Current children cumulated CPU time (s) 1791.57 Current children cumulated vsize (KiB) 149120 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 2.00 3/178 2365 /proc/meminfo: memFree=27093556/32873648 swapFree=6864/6864 [pid=2225] ppid=2223 vsize=149120 CPUtime=1794.77 cores=0,2,4,6 /proc/2225/stat : 2225 (bsolo) R 2223 2225 31961 0 -1 4202496 35721 0 0 0 179333 144 0 0 20 0 1 0 339687502 152698880 34846 33554432000 134512640 137136520 4291178352 4291177280 134543957 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/2225/statm: 37280 34846 198 641 0 36636 0 Current children cumulated CPU time (s) 1794.77 Current children cumulated vsize (KiB) 149120 [startup+1796.7 s] /proc/loadavg: 2.00 2.00 2.00 3/178 2365 /proc/meminfo: memFree=27092200/32873648 swapFree=6864/6864 [pid=2225] ppid=2223 vsize=149120 CPUtime=1796.36 cores=0,2,4,6 /proc/2225/stat : 2225 (bsolo) R 2223 2225 31961 0 -1 4202496 35721 0 0 0 179492 144 0 0 20 0 1 0 339687502 152698880 34846 33554432000 134512640 137136520 4291178352 4291177280 134543865 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/2225/statm: 37280 34846 198 641 0 36636 0 Current children cumulated CPU time (s) 1796.36 Current children cumulated vsize (KiB) 149120 [startup+1797.5 s] /proc/loadavg: 2.00 2.00 2.00 3/178 2365 /proc/meminfo: memFree=27091028/32873648 swapFree=6864/6864 [pid=2225] ppid=2223 vsize=149120 CPUtime=1797.16 cores=0,2,4,6 /proc/2225/stat : 2225 (bsolo) R 2223 2225 31961 0 -1 4202496 35721 0 0 0 179572 144 0 0 20 0 1 0 339687502 152698880 34846 33554432000 134512640 137136520 4291178352 4291177280 134544384 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/2225/statm: 37280 34846 198 641 0 36636 0 Current children cumulated CPU time (s) 1797.16 Current children cumulated vsize (KiB) 149120 [startup+1797.9 s] /proc/loadavg: 2.00 2.00 2.00 3/178 2365 /proc/meminfo: memFree=27091028/32873648 swapFree=6864/6864 [pid=2225] ppid=2223 vsize=149120 CPUtime=1797.56 cores=0,2,4,6 /proc/2225/stat : 2225 (bsolo) R 2223 2225 31961 0 -1 4202496 35721 0 0 0 179612 144 0 0 20 0 1 0 339687502 152698880 34846 33554432000 134512640 137136520 4291178352 4291177280 134544112 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/2225/statm: 37280 34846 198 641 0 36636 0 Current children cumulated CPU time (s) 1797.56 Current children cumulated vsize (KiB) 149120 [startup+1798.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 2365 /proc/meminfo: memFree=27091028/32873648 swapFree=6864/6864 [pid=2225] ppid=2223 vsize=149120 CPUtime=1797.96 cores=0,2,4,6 /proc/2225/stat : 2225 (bsolo) R 2223 2225 31961 0 -1 4202496 35721 0 0 0 179652 144 0 0 20 0 1 0 339687502 152698880 34846 33554432000 134512640 137136520 4291178352 4291177280 134543831 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/2225/statm: 37280 34846 198 641 0 36636 0 Current children cumulated CPU time (s) 1797.96 Current children cumulated vsize (KiB) 149120 Child status: 0 Real time (s): 1798.34 CPU time (s): 1798.01 CPU user time (s): 1796.56 CPU system time (s): 1.44878 CPU usage (%): 99.9819 Max. virtual memory (cumulated for all children) (KiB): 149836 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.56 system time used= 1.44878 maximum resident set size= 140100 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 35723 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= 67 involuntary context switches= 2529 runsolver used 2.51762 second user time and 7.29789 second system time The end
Begin job on node120 at 2012-06-03 17:00:15 IDJOB=3737575 IDBENCH=48259 IDSOLVER=2320 FILE ID=node120/3737575-1338735615 RUNJOBID= node120-1338713480-31977 PBS_JOBID= 14636735 Free space on /tmp= 70772 MiB SOLVER NAME= PB09: bsolo 3.1 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_25_4.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3737575-1338735615/watcher-3737575-1338735615 -o /tmp/evaluation-result-3737575-1338735615/solver-3737575-1338735615 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3737575-1338735615.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0c3fb28b3ecb8f1eba2bffa356ef5364 RANDOM SEED=337509307 node120.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.88 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 28106672 kB Buffers: 567848 kB Cached: 3120716 kB SwapCached: 1580 kB Active: 1852348 kB Inactive: 1983368 kB Active(anon): 139512 kB Inactive(anon): 9224 kB Active(file): 1712836 kB Inactive(file): 1974144 kB Unevictable: 6864 kB Mlocked: 6864 kB SwapTotal: 67108856 kB SwapFree: 67103516 kB Dirty: 3908 kB Writeback: 0 kB AnonPages: 110284 kB Mapped: 11552 kB Shmem: 32 kB Slab: 794468 kB SReclaimable: 238788 kB SUnreclaim: 555680 kB KernelStack: 1488 kB PageTables: 3936 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 268992 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 36864 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3737575-1338735615.opb Free space on /tmp at the end= 70768 MiB End job on node120 at 2012-06-03 17:30:14