Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | SAT | -7 | 1798.02 | 1798.46 |
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 | 257.452 |
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 1800 MB 0.00/0.00 c Instance file HOME/instance-1876849-1245209712.opb 0.00/0.00 c File size is 117803 bytes. 0.00/0.01 c Highest Coefficient sum: 100 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.015 s 0.00/0.02 c Var: 1566 Constr: 3084 1516/102/1466 Lit: 12028 Watch. Lit: 10464 0.00/0.02 c Obj. Vars: 50 (3.19285 % of total variables) 1.29/1.39 c Pre-processing Time: 1.392 s 1.29/1.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.39 c 0 1566 3084 12028 3 10464 39303 0 0 1.39 1.29/1.39 c Switching off lower bounding mode. 1.29/1.39 o -1 1.29/1.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.40 c 0 1566 3085 12078 3 10467 39337 1 0 1.39 1.29/1.40 o -2 1.39/1.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.40 c 4 1566 3091 12372 4 10482 39353 7 2 1.40 1.39/1.40 o -3 1.39/1.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.41 c 41 1566 3130 13022 4 10565 39370 46 29 1.40 1.39/1.41 o -4 1.39/1.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.45 c 89 1566 3180 14967 4 10672 39387 96 62 1.41 1.39/1.45 c 189 1566 3282 18173 5 10880 43326 198 131 1.44 1.39/1.45 o -5 1.58/1.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.58/1.60 c 216 1566 3310 19004 5 10941 39403 226 149 1.45 1.58/1.60 c 316 1566 3417 22438 6 11160 43344 333 213 1.48 1.58/1.60 c 566 1566 3679 27319 7 11692 47679 595 372 1.52 1.58/1.60 o -6 763.21/763.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 763.21/763.44 c 906 1566 4029 37150 9 12398 39420 945 564 1.60 763.21/763.44 c 1006 1566 4132 39666 9 12615 43363 1048 611 1.65 763.21/763.44 c 1256 1566 4386 45248 10 13123 47700 1302 739 1.70 763.21/763.44 c 1738 1566 4891 60226 12 14133 52471 1807 951 1.83 763.21/763.44 c 2552 1566 5783 90357 15 15978 57719 2699 1272 2.01 763.21/763.44 c 3872 1566 7256 156574 21 18926 63491 4172 1609 2.41 763.21/763.44 c 5953 1566 9600 261324 27 23755 69841 6516 1882 3.16 763.21/763.44 c 9176 1566 13405 455425 33 31527 76826 10321 1768 5.19 763.21/763.44 c 14112 1566 18896 702333 37 42969 84509 15812 1599 8.82 763.21/763.44 c 21618 1566 27685 1129906 40 61254 92960 24601 1079 20.02 763.21/763.44 c 32979 1566 41130 1793251 43 89186 102257 38046 662 49.77 763.21/763.44 c 50125 1566 61815 2889859 46 131442 112483 58731 464 107.91 763.21/763.44 c 75944 1566 94023 4649943 49 197554 123732 90939 283 267.85 763.21/763.44 c 114777 1566 34535 1589074 46 75288 136106 31451 207 554.00 763.21/763.44 o -7 1797.95/1798.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.95/1798.44 c 156845 1566 83813 4285397 51 176418 39437 80729 205 763.26 1797.95/1798.44 c 156945 1566 20497 883108 43 46193 43381 17413 201 777.52 1797.95/1798.44 c 157195 1566 20769 893910 43 46761 47720 17685 202 777.88 1797.95/1798.44 c 157670 1566 21296 915320 42 47883 52493 18212 202 778.63 1797.95/1798.44 c 158484 1566 22218 960133 43 49727 57743 19134 203 779.92 1797.95/1798.44 c 159804 1566 23710 1027283 43 52775 63518 20626 204 782.04 1797.95/1798.44 c 161885 1566 26142 1143765 43 57716 69870 23058 205 786.20 1797.95/1798.44 c 165108 1566 29810 1306028 43 65136 76858 26726 208 792.94 1797.95/1798.44 c 170044 1566 35579 1575348 44 76784 84544 32495 211 804.39 1797.95/1798.44 c 177550 1566 44169 1984943 44 94113 92999 41085 214 825.87 1797.95/1798.44 c 188911 1566 57852 2700926 46 122075 102299 54768 216 870.73 1797.95/1798.44 c 206055 1566 78399 3773677 48 164073 112529 75315 214 959.87 1797.95/1798.44 c 231875 1566 109264 5332632 48 227238 123782 106180 201 1152.72 1797.95/1798.44 c 270707 1566 52608 2307383 43 111185 136161 49524 189 1427.27 1797.95/1798.44 c 329059 1566 122291 5955963 48 252784 149778 119207 184 1780.51 1797.95/1798.44 c Resources Exceeded 1797.95/1798.44 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.95/1798.44 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.95/1798.44 c 37 330799 66632 521948 124373 6060797 121289 183 1798.01 1797.95/1798.44 c Objective: -7 1797.95/1798.44 s SATISFIABLE 1797.95/1798.44 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-1876849-1245209712/watcher-1876849-1245209712 -o /tmp/evaluation-result-1876849-1245209712/solver-1876849-1245209712 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876849-1245209712.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 0.97 0.91 3/64 6707 /proc/meminfo: memFree=815512/2055920 swapFree=4192956/4192956 [pid=6707] ppid=6705 vsize=18640 CPUtime=0 /proc/6707/stat : 6707 (bsolo) R 6705 6707 6635 0 -1 4194304 244 0 0 0 0 0 0 0 19 0 1 0 188566832 19087360 228 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6707/statm: 4660 228 172 640 0 3987 0 [startup+0.0286581 s] /proc/loadavg: 1.00 0.97 0.91 3/64 6707 /proc/meminfo: memFree=815512/2055920 swapFree=4192956/4192956 [pid=6707] ppid=6705 vsize=11532 CPUtime=0.02 /proc/6707/stat : 6707 (bsolo) R 6705 6707 6635 0 -1 4194304 500 0 0 0 2 0 0 0 19 0 1 0 188566832 11808768 455 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6707/statm: 2883 455 189 640 0 2239 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 11532 [startup+0.101664 s] /proc/loadavg: 1.00 0.97 0.91 3/64 6707 /proc/meminfo: memFree=815512/2055920 swapFree=4192956/4192956 [pid=6707] ppid=6705 vsize=11532 CPUtime=0.09 /proc/6707/stat : 6707 (bsolo) R 6705 6707 6635 0 -1 4194304 500 0 0 0 9 0 0 0 19 0 1 0 188566832 11808768 455 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6707/statm: 2883 455 189 640 0 2239 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11532 [startup+0.301681 s] /proc/loadavg: 1.00 0.97 0.91 3/64 6707 /proc/meminfo: memFree=815512/2055920 swapFree=4192956/4192956 [pid=6707] ppid=6705 vsize=11532 CPUtime=0.29 /proc/6707/stat : 6707 (bsolo) R 6705 6707 6635 0 -1 4194304 500 0 0 0 29 0 0 0 21 0 1 0 188566832 11808768 455 1992294400 134512640 137136520 4294956256 18446744073709551615 134543912 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6707/statm: 2883 455 189 640 0 2239 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11532 [startup+0.701716 s] /proc/loadavg: 1.00 0.97 0.91 3/64 6707 /proc/meminfo: memFree=815512/2055920 swapFree=4192956/4192956 [pid=6707] ppid=6705 vsize=11532 CPUtime=0.69 /proc/6707/stat : 6707 (bsolo) R 6705 6707 6635 0 -1 4194304 500 0 0 0 69 0 0 0 24 0 1 0 188566832 11808768 455 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6707/statm: 2883 455 189 640 0 2239 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11532 [startup+1.50179 s] /proc/loadavg: 1.00 0.97 0.91 2/65 6708 /proc/meminfo: memFree=814352/2055920 swapFree=4192956/4192956 [pid=6707] ppid=6705 vsize=11664 CPUtime=1.49 /proc/6707/stat : 6707 (bsolo) R 6705 6707 6635 0 -1 4194304 558 0 0 0 149 0 0 0 25 0 1 0 188566832 11943936 513 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6707/statm: 2916 513 197 640 0 2272 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11664 [startup+3.10293 s] /proc/loadavg: 1.00 0.97 0.91 2/65 6708 /proc/meminfo: memFree=812624/2055920 swapFree=4192956/4192956 [pid=6707] ppid=6705 vsize=15336 CPUtime=3.09 /proc/6707/stat : 6707 (bsolo) R 6705 6707 6635 0 -1 4194304 1456 0 0 0 308 1 0 0 25 0 1 0 188566832 15704064 1411 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6707/statm: 3834 1411 197 640 0 3190 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15336 [startup+6.30121 s] /proc/loadavg: 1.00 0.97 0.91 2/65 6708 /proc/meminfo: memFree=806992/2055920 swapFree=4192956/4192956 [pid=6707] ppid=6705 vsize=19632 CPUtime=6.28 /proc/6707/stat : 6707 (bsolo) R 6705 6707 6635 0 -1 4194304 2525 0 0 0 626 2 0 0 25 0 1 0 188566832 20103168 2480 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6707/statm: 4908 2480 197 640 0 4264 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 19632 [startup+12.7018 s] /proc/loadavg: 1.00 0.97 0.91 2/65 6708 /proc/meminfo: memFree=801368/2055920 swapFree=4192956/4192956 [pid=6707] ppid=6705 vsize=24692 CPUtime=12.68 /proc/6707/stat : 6707 (bsolo) R 6705 6707 6635 0 -1 4194304 3805 0 0 0 1264 4 0 0 25 0 1 0 188566832 25284608 3760 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6707/statm: 6173 3760 197 640 0 5529 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 24692 [startup+25.5019 s] /proc/loadavg: 1.00 0.97 0.91 2/65 6708 /proc/meminfo: memFree=795032/2055920 swapFree=4192956/4192956 [pid=6707] ppid=6705 vsize=30732 CPUtime=25.48 /proc/6707/stat : 6707 (bsolo) R 6705 6707 6635 0 -1 4194304 5321 0 0 0 2540 8 0 0 25 0 1 0 188566832 31469568 5276 1992294400 134512640 137136520 4294956256 18446744073709551615 134617444 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6707/statm: 7683 5276 197 640 0 7039 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 30732 [startup+51.1011 s] /proc/loadavg: 1.00 0.97 0.91 2/65 6708 /proc/meminfo: memFree=786776/2055920 swapFree=4192956/4192956 [pid=6707] ppid=6705 vsize=39128 CPUtime=51.08 /proc/6707/stat : 6707 (bsolo) R 6705 6707 6635 0 -1 4194304 7401 0 0 0 5094 14 0 0 25 0 1 0 188566832 40067072 7356 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6707/statm: 9782 7356 197 640 0 9138 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 39128 [startup+102.306 s] /proc/loadavg: 1.00 0.97 0.91 2/65 6708 /proc/meminfo: memFree=772248/2055920 swapFree=4192956/4192956 [pid=6707] ppid=6705 vsize=53496 CPUtime=102.26 /proc/6707/stat : 6707 (bsolo) R 6705 6707 6635 0 -1 4194304 11010 0 0 0 10206 20 0 0 25 0 1 0 188566832 54779904 10965 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6707/statm: 13374 10965 198 640 0 12730 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 53496 [startup+162.302 s] /proc/loadavg: 1.00 0.97 0.91 2/65 6708 /proc/meminfo: memFree=760728/2055920 swapFree=4192956/4192956 [pid=6707] ppid=6705 vsize=65100 CPUtime=162.25 /proc/6707/stat : 6707 (bsolo) R 6705 6707 6635 0 -1 4194304 13908 0 0 0 16198 27 0 0 25 0 1 0 188566832 66662400 13863 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6707/statm: 16275 13863 198 640 0 15631 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 65100 [startup+222.301 s] /proc/loadavg: 1.00 0.97 0.91 2/65 6708 /proc/meminfo: memFree=751832/2055920 swapFree=4192956/4192956 [pid=6707] ppid=6705 vsize=73824 CPUtime=222.23 /proc/6707/stat : 6707 (bsolo) R 6705 6707 6635 0 -1 4194304 16084 0 0 0 22192 31 0 0 25 0 1 0 188566832 75595776 16039 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6707/statm: 18456 16039 198 640 0 17812 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 73824 [startup+282.301 s] /proc/loadavg: 1.00 0.97 0.91 2/65 6708 /proc/meminfo: memFree=742488/2055920 swapFree=4192956/4192956 [pid=6707] ppid=6705 vsize=83284 CPUtime=282.22 /proc/6707/stat : 6707 (bsolo) R 6705 6707 6635 0 -1 4194304 18439 0 0 0 28186 36 0 0 25 0 1 0 188566832 85282816 18394 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6707/statm: 20821 18394 198 640 0 20177 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 83284 [startup+342.302 s] /proc/loadavg: 1.08 0.99 0.91 2/65 6708 /proc/meminfo: memFree=734872/2055920 swapFree=4192956/4192956 [pid=6707] ppid=6705 vsize=90776 CPUtime=342.21 /proc/6707/stat : 6707 (bsolo) R 6705 6707 6635 0 -1 4194304 20319 0 0 0 34181 40 0 0 25 0 1 0 188566832 92954624 20274 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6707/statm: 22694 20274 198 640 0 22050 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 90776 [startup+402.302 s] /proc/loadavg: 1.10 1.00 0.92 2/65 6708 /proc/meminfo: memFree=727704/2055920 swapFree=4192956/4192956 [pid=6707] ppid=6705 vsize=97924 CPUtime=402.19 /proc/6707/stat : 6707 (bsolo) R 6705 6707 6635 0 -1 4194304 22114 0 0 0 40175 44 0 0 25 0 1 0 188566832 100274176 22069 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6707/statm: 24481 22069 198 640 0 23837 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 97924 [startup+462.301 s] /proc/loadavg: 1.15 1.03 0.93 2/65 6708 /proc/meminfo: memFree=719896/2055920 swapFree=4192956/4192956 [pid=6707] ppid=6705 vsize=105724 CPUtime=462.17 /proc/6707/stat : 6707 (bsolo) R 6705 6707 6635 0 -1 4194304 24048 0 0 0 46168 49 0 0 25 0 1 0 188566832 108261376 24003 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6707/statm: 26431 24003 198 640 0 25787 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 105724 [startup+522.301 s] /proc/loadavg: 1.05 1.02 0.93 2/65 6708 /proc/meminfo: memFree=716504/2055920 swapFree=4192956/4192956 [pid=6707] ppid=6705 vsize=108772 CPUtime=522.16 /proc/6707/stat : 6707 (bsolo) R 6705 6707 6635 0 -1 4194304 24957 0 0 0 52165 51 0 0 25 0 1 0 188566832 111382528 24790 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6707/statm: 27193 24790 198 640 0 26549 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 108772 [startup+582.302 s] /proc/loadavg: 1.02 1.02 0.93 2/65 6708 /proc/meminfo: memFree=716504/2055920 swapFree=4192956/4192956 [pid=6707] ppid=6705 vsize=108772 CPUtime=582.15 /proc/6707/stat : 6707 (bsolo) R 6705 6707 6635 0 -1 4194304 24957 0 0 0 58159 56 0 0 25 0 1 0 188566832 111382528 24790 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6707/statm: 27193 24790 198 640 0 26549 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 108772 [startup+642.302 s] /proc/loadavg: 1.00 1.01 0.93 2/65 6708 /proc/meminfo: memFree=716504/2055920 swapFree=4192956/4192956 [pid=6707] ppid=6705 vsize=108772 CPUtime=642.13 /proc/6707/stat : 6707 (bsolo) R 6705 6707 6635 0 -1 4194304 24957 0 0 0 64153 60 0 0 25 0 1 0 188566832 111382528 24790 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6707/statm: 27193 24790 198 640 0 26549 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 108772 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=716376/2055920 swapFree=4192956/4192956 [pid=6707] ppid=6705 vsize=109200 CPUtime=1122.02 /proc/6707/stat : 6707 (bsolo) R 6705 6707 6635 0 -1 4194304 25033 0 0 0 112111 91 0 0 25 0 1 0 188566832 111820800 24866 1992294400 134512640 137136520 4294956256 18446744073709551615 136509112 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6707/statm: 27300 24866 198 640 0 26656 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 109200 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 6710 /proc/meminfo: memFree=716376/2055920 swapFree=4192956/4192956 [pid=6707] ppid=6705 vsize=109200 CPUtime=1182 /proc/6707/stat : 6707 (bsolo) R 6705 6707 6635 0 -1 4194304 25033 0 0 0 118106 94 0 0 25 0 1 0 188566832 111820800 24866 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6707/statm: 27300 24866 198 640 0 26656 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 109200 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 6710 /proc/meminfo: memFree=716312/2055920 swapFree=4192956/4192956 [pid=6707] ppid=6705 vsize=109200 CPUtime=1241.99 /proc/6707/stat : 6707 (bsolo) R 6705 6707 6635 0 -1 4194304 25033 0 0 0 124103 96 0 0 25 0 1 0 188566832 111820800 24866 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6707/statm: 27300 24866 198 640 0 26656 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 109200 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 6710 /proc/meminfo: memFree=716248/2055920 swapFree=4192956/4192956 [pid=6707] ppid=6705 vsize=109204 CPUtime=1301.98 /proc/6707/stat : 6707 (bsolo) R 6705 6707 6635 0 -1 4194304 25034 0 0 0 130100 98 0 0 25 0 1 0 188566832 111824896 24867 1992294400 134512640 137136520 4294956256 18446744073709551615 134544714 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6707/statm: 27301 24867 198 640 0 26657 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 109204 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 6710 /proc/meminfo: memFree=716056/2055920 swapFree=4192956/4192956 [pid=6707] ppid=6705 vsize=109204 CPUtime=1361.96 /proc/6707/stat : 6707 (bsolo) R 6705 6707 6635 0 -1 4194304 25157 0 0 0 136097 99 0 0 25 0 1 0 188566832 111824896 24867 1992294400 134512640 137136520 4294956256 18446744073709551615 134543834 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6707/statm: 27301 24867 198 640 0 26657 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 109204 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.93 2/65 6710 /proc/meminfo: memFree=716056/2055920 swapFree=4192956/4192956 [pid=6707] ppid=6705 vsize=109204 CPUtime=1421.95 /proc/6707/stat : 6707 (bsolo) R 6705 6707 6635 0 -1 4194304 25157 0 0 0 142090 105 0 0 25 0 1 0 188566832 111824896 24867 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6707/statm: 27301 24867 198 640 0 26657 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 109204 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 6710 /proc/meminfo: memFree=716056/2055920 swapFree=4192956/4192956 [pid=6707] ppid=6705 vsize=109204 CPUtime=1481.93 /proc/6707/stat : 6707 (bsolo) R 6705 6707 6635 0 -1 4194304 25157 0 0 0 148083 110 0 0 25 0 1 0 188566832 111824896 24867 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6707/statm: 27301 24867 198 640 0 26657 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 109204 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 6710 /proc/meminfo: memFree=716056/2055920 swapFree=4192956/4192956 [pid=6707] ppid=6705 vsize=109204 CPUtime=1541.92 /proc/6707/stat : 6707 (bsolo) R 6705 6707 6635 0 -1 4194304 25157 0 0 0 154079 113 0 0 25 0 1 0 188566832 111824896 24867 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6707/statm: 27301 24867 198 640 0 26657 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 109204 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 6716 /proc/meminfo: memFree=716120/2055920 swapFree=4192956/4192956 [pid=6707] ppid=6705 vsize=109204 CPUtime=1601.9 /proc/6707/stat : 6707 (bsolo) R 6705 6707 6635 0 -1 4194304 25157 0 0 0 160074 116 0 0 25 0 1 0 188566832 111824896 24867 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6707/statm: 27301 24867 198 640 0 26657 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 109204 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 6716 /proc/meminfo: memFree=716120/2055920 swapFree=4192956/4192956 [pid=6707] ppid=6705 vsize=109204 CPUtime=1661.89 /proc/6707/stat : 6707 (bsolo) R 6705 6707 6635 0 -1 4194304 25157 0 0 0 166070 119 0 0 25 0 1 0 188566832 111824896 24867 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6707/statm: 27301 24867 198 640 0 26657 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 109204 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 6716 /proc/meminfo: memFree=716120/2055920 swapFree=4192956/4192956 [pid=6707] ppid=6705 vsize=109204 CPUtime=1721.87 /proc/6707/stat : 6707 (bsolo) R 6705 6707 6635 0 -1 4194304 25157 0 0 0 172065 122 0 0 25 0 1 0 188566832 111824896 24867 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6707/statm: 27301 24867 198 640 0 26657 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 109204 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 6716 /proc/meminfo: memFree=716120/2055920 swapFree=4192956/4192956 [pid=6707] ppid=6705 vsize=109204 CPUtime=1781.85 /proc/6707/stat : 6707 (bsolo) R 6705 6707 6635 0 -1 4194304 25157 0 0 0 178061 124 0 0 25 0 1 0 188566832 111824896 24867 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6707/statm: 27301 24867 198 640 0 26657 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 109204 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 0.93 2/65 6716 /proc/meminfo: memFree=716120/2055920 swapFree=4192956/4192956 [pid=6707] ppid=6705 vsize=109204 CPUtime=1791.46 /proc/6707/stat : 6707 (bsolo) R 6705 6707 6635 0 -1 4194304 25157 0 0 0 179021 125 0 0 25 0 1 0 188566832 111824896 24867 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6707/statm: 27301 24867 198 640 0 26657 0 Current children cumulated CPU time (s) 1791.46 Current children cumulated vsize (KiB) 109204 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 0.93 2/65 6716 /proc/meminfo: memFree=716120/2055920 swapFree=4192956/4192956 [pid=6707] ppid=6705 vsize=109204 CPUtime=1794.66 /proc/6707/stat : 6707 (bsolo) R 6705 6707 6635 0 -1 4194304 25157 0 0 0 179341 125 0 0 25 0 1 0 188566832 111824896 24867 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6707/statm: 27301 24867 198 640 0 26657 0 Current children cumulated CPU time (s) 1794.66 Current children cumulated vsize (KiB) 109204 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 0.93 2/65 6716 /proc/meminfo: memFree=716120/2055920 swapFree=4192956/4192956 [pid=6707] ppid=6705 vsize=109204 CPUtime=1796.25 /proc/6707/stat : 6707 (bsolo) R 6705 6707 6635 0 -1 4194304 25157 0 0 0 179500 125 0 0 25 0 1 0 188566832 111824896 24867 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6707/statm: 27301 24867 198 640 0 26657 0 Current children cumulated CPU time (s) 1796.25 Current children cumulated vsize (KiB) 109204 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 0.93 2/65 6716 /proc/meminfo: memFree=716120/2055920 swapFree=4192956/4192956 [pid=6707] ppid=6705 vsize=109204 CPUtime=1797.05 /proc/6707/stat : 6707 (bsolo) R 6705 6707 6635 0 -1 4194304 25157 0 0 0 179580 125 0 0 25 0 1 0 188566832 111824896 24867 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6707/statm: 27301 24867 198 640 0 26657 0 Current children cumulated CPU time (s) 1797.05 Current children cumulated vsize (KiB) 109204 [startup+1797.9 s] /proc/loadavg: 1.00 1.00 0.93 2/65 6716 /proc/meminfo: memFree=716120/2055920 swapFree=4192956/4192956 [pid=6707] ppid=6705 vsize=109204 CPUtime=1797.45 /proc/6707/stat : 6707 (bsolo) R 6705 6707 6635 0 -1 4194304 25157 0 0 0 179620 125 0 0 25 0 1 0 188566832 111824896 24867 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6707/statm: 27301 24867 198 640 0 26657 0 Current children cumulated CPU time (s) 1797.45 Current children cumulated vsize (KiB) 109204 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 6716 /proc/meminfo: memFree=716120/2055920 swapFree=4192956/4192956 [pid=6707] ppid=6705 vsize=109204 CPUtime=1797.85 /proc/6707/stat : 6707 (bsolo) R 6705 6707 6635 0 -1 4194304 25157 0 0 0 179660 125 0 0 25 0 1 0 188566832 111824896 24867 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6707/statm: 27301 24867 198 640 0 26657 0 Current children cumulated CPU time (s) 1797.85 Current children cumulated vsize (KiB) 109204 [startup+1798.4 s] /proc/loadavg: 1.00 1.00 0.93 2/65 6716 /proc/meminfo: memFree=716120/2055920 swapFree=4192956/4192956 [pid=6707] ppid=6705 vsize=109204 CPUtime=1797.95 /proc/6707/stat : 6707 (bsolo) R 6705 6707 6635 0 -1 4194304 25157 0 0 0 179670 125 0 0 25 0 1 0 188566832 111824896 24867 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6707/statm: 27301 24867 198 640 0 26657 0 Current children cumulated CPU time (s) 1797.95 Current children cumulated vsize (KiB) 109204 Child status: 0 Real time (s): 1798.46 CPU time (s): 1798.02 CPU user time (s): 1796.75 CPU system time (s): 1.27081 CPU usage (%): 99.9755 Max. virtual memory (cumulated for all children) (KiB): 109696 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.75 system time used= 1.27081 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 25159 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5 involuntary context switches= 1725 runsolver used 1.38479 second user time and 4.01339 second system time The end
Begin job on node58 at 2009-06-17 05:35:12 IDJOB=1876849 IDBENCH=48259 IDSOLVER=699 FILE ID=node58/1876849-1245209712 PBS_JOBID= 9368412 Free space on /tmp= 66564 MiB SOLVER NAME= 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-1876849-1245209712/watcher-1876849-1245209712 -o /tmp/evaluation-result-1876849-1245209712/solver-1876849-1245209712 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876849-1245209712.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0c3fb28b3ecb8f1eba2bffa356ef5364 RANDOM SEED=2118524104 node58.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.243 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.243 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: 817464 kB Buffers: 62372 kB Cached: 1086352 kB SwapCached: 0 kB Active: 541076 kB Inactive: 621056 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 817464 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3972 kB Writeback: 0 kB Mapped: 23176 kB Slab: 62396 kB Committed_AS: 76080 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-1876849-1245209712.opb Free space on /tmp at the end= 66560 MiB End job on node58 at 2009-06-17 06:05:11