Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | OPT | 384000 | 8.41472 | 8.42245 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-sample2.opb |
MD5SUM | f72f6e3cf70b31c2d253740c5b04c4f6 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 384000 |
Best CPU time to get the best result obtained on this benchmark | 7.17691 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 384000 |
Optimality of the best value was proved | YES |
Number of variables | 1296 |
Total number of constraints | 46 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 3 |
Number of constraints which are nor clauses,nor cardinality constraints | 43 |
Minimum length of a constraint | 4 |
Maximum length of a constraint | 150 |
Number of terms in the objective function | 729 |
Biggest coefficient in the objective function | 3221225472 |
Number of bits for the biggest coefficient in the objective function | 32 |
Sum of the numbers in the objective function | 70867574718 |
Number of bits of the sum of numbers in the objective function | 37 |
Biggest number in a constraint | 3221225472 |
Number of bits of the biggest number in a constraint | 32 |
Biggest sum of numbers in a constraint | 70867574718 |
Number of bits of the biggest sum of numbers | 37 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho 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 Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/433318-1177957702/instance-433318-1177957702.opb 0.00/0.00 c File size is 48204 bytes. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Highest Coefficient sum: 7.08676e+10 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.008 s 0.00/0.01 c Var: 1296 Constr: 67 0/3/64 Lit: 5778 Watch. Lit: 1577 0.00/0.01 c Obj. Vars: 729 (56.25 % of total variables) 0.00/0.04 c Pre-processing Time: 0.037 s 0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.04 c 0 501 55 3924 71 2975 7836 0 0 0.04 0.00/0.04 o 660480 0.04 0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.04 c 3 501 59 4179 70 3337 8334 4 75 0.04 0.00/0.04 o 584704 0.042 0.04/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.04/0.09 c 3 501 60 4428 73 3558 8334 5 71 0.04 0.04/0.09 c 103 501 160 12339 77 3740 9168 105 1775 0.06 0.04/0.09 c 354 501 411 22730 55 4192 10085 356 4481 0.08 0.04/0.09 o 583680 0.087 0.04/0.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.04/0.10 c 373 501 431 25048 58 4539 8334 376 4287 0.09 0.04/0.10 o 548864 0.095 0.09/0.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.11 c 385 501 444 25458 57 4784 8334 389 4052 0.10 0.09/0.11 o 531054 0.105 0.09/0.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.11 c 410 501 470 26476 56 5028 8334 415 3904 0.10 0.09/0.11 o 527988 0.108 0.09/0.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.11 c 412 501 473 26737 56 5302 8334 418 3814 0.11 0.09/0.11 o 527604 0.111 0.09/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.12 c 413 501 475 27154 57 5535 8334 420 3687 0.11 0.09/0.12 o 448414 0.124 0.09/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.13 c 449 501 512 30000 58 5735 8334 457 3592 0.12 0.09/0.13 o 430080 0.132 0.09/0.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.17 c 472 501 536 31147 58 5928 8334 481 3548 0.13 0.09/0.17 c 572 497 636 34935 54 5987 9168 581 3345 0.17 0.09/0.17 o 414720 0.174 1.19/1.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.27 c 578 497 643 35327 54 6222 8330 588 3302 0.17 1.19/1.27 c 678 497 743 43276 58 6327 9164 688 3213 0.21 1.19/1.27 c 928 493 993 63718 64 6993 10081 938 3211 0.29 1.19/1.27 c 1404 493 1469 78561 53 7941 11090 1414 3113 0.45 1.19/1.27 c 2217 493 2282 140192 61 9342 12200 2227 3294 0.67 1.19/1.27 c 3540 489 3605 231302 64 11751 13421 3550 2859 1.24 1.19/1.27 o 399360 1.264 1.29/1.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.31 c 3610 489 3676 237036 64 12153 8320 3621 2853 1.26 1.29/1.31 c 3710 489 3776 241654 63 12271 9153 3721 2856 1.30 1.29/1.31 o 384000 1.312 8.38/8.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.38/8.41 c 3719 489 3786 242658 64 12537 8320 3731 2832 1.31 8.38/8.41 c 3820 489 3887 250646 64 12774 9153 3832 2821 1.35 8.38/8.41 c 4070 489 4137 271501 65 13186 10069 4082 2812 1.45 8.38/8.41 c 4546 489 4613 302558 65 14161 11076 4558 2766 1.64 8.38/8.41 c 5360 489 5427 332376 61 15690 12184 5372 2958 1.81 8.38/8.41 c 6682 489 6749 401614 59 18213 13403 6694 2809 2.38 8.38/8.41 c 8764 488 8831 503924 57 22395 14744 8776 2772 3.16 8.38/8.41 c 11987 488 12054 656729 54 28830 16219 11999 2861 4.19 8.38/8.41 c 16924 488 16991 918445 54 38737 17841 16936 2705 6.26 8.38/8.41 v -x1276 -x1277 x1278 -x1294 x1295 -x1296 -x1282 x1286 x1290 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 8.38/8.41 v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 8.38/8.41 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 8.38/8.41 v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 8.38/8.41 v -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 8.38/8.41 v -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 8.38/8.41 v -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 8.38/8.41 v -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 8.38/8.41 v -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 8.38/8.41 v -x825 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 8.38/8.41 v -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 8.38/8.41 v -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 8.38/8.41 v -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 8.38/8.41 v -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 8.38/8.41 v -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1036 -x1037 -x1038 8.38/8.41 v -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 x1046 x1047 x1048 x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 8.38/8.41 v -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 8.38/8.41 v -x1074 -x1075 x1076 x1077 x1078 x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 8.38/8.41 v -x1092 -x1093 -x1094 -x1095 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 8.38/8.41 v -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 8.38/8.41 v -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 8.38/8.41 v -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1216 -x1217 -x1218 -x1219 8.38/8.41 v -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 8.38/8.41 v -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 8.38/8.41 v -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x151 -x152 -x153 8.38/8.41 v -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 8.38/8.41 v -x175 -x176 -x177 -x178 -x179 -x180 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 8.38/8.41 v -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 8.38/8.41 v -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 8.38/8.41 v -x268 -x269 -x270 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 8.38/8.41 v -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 8.38/8.41 v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 8.38/8.41 v -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 x461 x462 x463 x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 8.38/8.41 v -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 8.38/8.41 v -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 8.38/8.41 v -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 8.38/8.41 v -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 x551 x552 x553 x554 -x555 8.38/8.41 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 8.38/8.41 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 8.38/8.41 v -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 8.38/8.41 v -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 8.38/8.41 v -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x361 -x362 -x363 -x364 8.38/8.41 v -x365 -x366 -x367 -x368 -x369 -x370 x371 x372 x373 x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 8.38/8.41 v -x386 -x387 -x388 -x389 -x390 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 x281 x282 x283 x284 -x285 -x286 8.38/8.41 v -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x826 -x827 -x828 -x829 -x830 -x831 -x832 8.38/8.41 v -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 8.38/8.41 v -x854 -x855 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 8.38/8.41 v -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 8.38/8.41 v -x1014 -x1015 x1016 x1017 x1018 x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 8.38/8.41 v -x1032 -x1033 -x1034 -x1035 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 x311 x312 x313 x314 -x315 -x316 -x317 8.38/8.41 v -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 8.38/8.41 v -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 8.38/8.41 v -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 x431 x432 x433 8.38/8.41 v x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x616 -x617 -x618 -x619 8.38/8.41 v -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 8.38/8.41 v -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 8.38/8.41 v -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x766 -x767 -x768 -x769 -x770 -x771 -x772 8.38/8.41 v -x773 -x774 -x775 x776 -x777 x778 x779 -x780 x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 8.38/8.41 v -x794 -x795 -x1279 -x1283 -x1287 x1291 -x1280 -x1284 x1288 -x1292 -x1281 x1285 -x1289 -x1293 -x946 -x947 -x948 -x949 -x950 8.38/8.41 v -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 8.38/8.41 v -x972 -x973 -x974 -x975 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 x1106 -x1107 x1108 x1109 8.38/8.41 v -x1110 x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1246 8.38/8.41 v -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 8.38/8.41 v -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 8.38/8.41 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 8.38/8.41 c 29 20420 4353 36546 10510 518606 10455 2428 8.41 8.38/8.41 c Objective: 384000 8.38/8.41 s OPTIMUM FOUND 8.38/8.41 c Total time: 8.41 s
OK 384000
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node48/watcher-433318-1177957702 -o ROOT/results/node48/solver-433318-1177957702 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433318-1177957702/instance-433318-1177957702.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): 3600 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 Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.93 1.00 0.98 3/64 20188 /proc/meminfo: memFree=1869544/2055920 swapFree=4183896/4192956 [pid=20188] ppid=20186 vsize=19596 CPUtime=0 /proc/20188/stat : 20188 (bsolo3.0.17) R 20186 20188 19827 0 -1 4194304 359 0 0 0 0 0 0 0 18 0 1 0 150615546 20066304 329 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134536096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20188/statm: 4899 330 278 324 0 3957 0 [startup+0.0550129 s] /proc/loadavg: 0.93 1.00 0.98 3/64 20188 /proc/meminfo: memFree=1869544/2055920 swapFree=4183896/4192956 [pid=20188] ppid=20186 vsize=12152 CPUtime=0.04 /proc/20188/stat : 20188 (bsolo3.0.17) R 20186 20188 19827 0 -1 4194304 507 0 0 0 4 0 0 0 18 0 1 0 150615546 12443648 465 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550904 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20188/statm: 3038 465 311 324 0 2108 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 12152 [startup+0.101015 s] /proc/loadavg: 0.93 1.00 0.98 3/64 20188 /proc/meminfo: memFree=1869544/2055920 swapFree=4183896/4192956 [pid=20188] ppid=20186 vsize=4600 CPUtime=0.09 /proc/20188/stat : 20188 (bsolo3.0.17) R 20186 20188 19827 0 -1 4194304 574 0 0 0 9 0 0 0 18 0 1 0 150615546 4710400 532 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20188/statm: 1150 532 311 324 0 220 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4600 [startup+0.301034 s] /proc/loadavg: 0.93 1.00 0.98 3/64 20188 /proc/meminfo: memFree=1869544/2055920 swapFree=4183896/4192956 [pid=20188] ppid=20186 vsize=5256 CPUtime=0.29 /proc/20188/stat : 20188 (bsolo3.0.17) R 20186 20188 19827 0 -1 4194304 716 0 0 0 29 0 0 0 19 0 1 0 150615546 5382144 674 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20188/statm: 1314 674 311 324 0 384 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5256 [startup+0.70107 s] /proc/loadavg: 0.93 1.00 0.98 3/64 20188 /proc/meminfo: memFree=1869544/2055920 swapFree=4183896/4192956 [pid=20188] ppid=20186 vsize=6420 CPUtime=0.69 /proc/20188/stat : 20188 (bsolo3.0.17) R 20186 20188 19827 0 -1 4194304 1010 0 0 0 69 0 0 0 22 0 1 0 150615546 6574080 968 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20188/statm: 1605 968 311 324 0 675 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6420 [startup+1.50114 s] /proc/loadavg: 0.93 1.00 0.98 2/65 20189 /proc/meminfo: memFree=1866144/2055920 swapFree=4183896/4192956 [pid=20188] ppid=20186 vsize=8248 CPUtime=1.48 /proc/20188/stat : 20188 (bsolo3.0.17) R 20186 20188 19827 0 -1 4194304 1496 0 0 0 148 0 0 0 25 0 1 0 150615546 8445952 1454 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3966587 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20188/statm: 2062 1454 311 324 0 1132 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 8248 [startup+3.10129 s] /proc/loadavg: 0.93 1.00 0.98 2/65 20189 /proc/meminfo: memFree=1863648/2055920 swapFree=4183896/4192956 [pid=20188] ppid=20186 vsize=11500 CPUtime=3.08 /proc/20188/stat : 20188 (bsolo3.0.17) R 20186 20188 19827 0 -1 4194304 2295 0 0 0 308 0 0 0 25 0 1 0 150615546 11776000 2253 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20188/statm: 2875 2253 311 324 0 1945 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 11500 [startup+6.30159 s] /proc/loadavg: 0.93 1.00 0.98 2/65 20189 /proc/meminfo: memFree=1856672/2055920 swapFree=4183896/4192956 [pid=20188] ppid=20186 vsize=17896 CPUtime=6.28 /proc/20188/stat : 20188 (bsolo3.0.17) R 20186 20188 19827 0 -1 4194304 3900 0 0 0 627 1 0 0 25 0 1 0 150615546 18325504 3858 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550896 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20188/statm: 4474 3858 311 324 0 3544 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 17896 Solver just ended. Dumping a history of the last processes samples [startup+7.10166 s] /proc/loadavg: 0.93 1.00 0.98 2/65 20189 /proc/meminfo: memFree=1854816/2055920 swapFree=4183896/4192956 [pid=20188] ppid=20186 vsize=18548 CPUtime=7.08 /proc/20188/stat : 20188 (bsolo3.0.17) R 20186 20188 19827 0 -1 4194304 4052 0 0 0 707 1 0 0 25 0 1 0 150615546 18993152 4010 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3964373 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20188/statm: 4637 4010 311 324 0 3707 0 Current children cumulated CPU time (s) 7.08 Current children cumulated vsize (KiB) 18548 [startup+7.90174 s] /proc/loadavg: 0.93 1.00 0.98 2/65 20189 /proc/meminfo: memFree=1853920/2055920 swapFree=4183896/4192956 [pid=20188] ppid=20186 vsize=19200 CPUtime=7.88 /proc/20188/stat : 20188 (bsolo3.0.17) R 20186 20188 19827 0 -1 4194304 4223 0 0 0 787 1 0 0 25 0 1 0 150615546 19660800 4181 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20188/statm: 4800 4181 311 324 0 3870 0 Current children cumulated CPU time (s) 7.88 Current children cumulated vsize (KiB) 19200 [startup+8.30177 s] /proc/loadavg: 0.93 1.00 0.98 2/65 20189 /proc/meminfo: memFree=1853920/2055920 swapFree=4183896/4192956 [pid=20188] ppid=20186 vsize=19200 CPUtime=8.28 /proc/20188/stat : 20188 (bsolo3.0.17) R 20186 20188 19827 0 -1 4194304 4223 0 0 0 827 1 0 0 25 0 1 0 150615546 19660800 4181 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551712 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20188/statm: 4800 4181 311 324 0 3870 0 Current children cumulated CPU time (s) 8.28 Current children cumulated vsize (KiB) 19200 [startup+8.40178 s] /proc/loadavg: 0.93 1.00 0.98 2/65 20189 /proc/meminfo: memFree=1853920/2055920 swapFree=4183896/4192956 [pid=20188] ppid=20186 vsize=19200 CPUtime=8.38 /proc/20188/stat : 20188 (bsolo3.0.17) R 20186 20188 19827 0 -1 4194304 4223 0 0 0 837 1 0 0 25 0 1 0 150615546 19660800 4181 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20188/statm: 4800 4181 311 324 0 3870 0 Current children cumulated CPU time (s) 8.38 Current children cumulated vsize (KiB) 19200 Child status: 0 Real time (s): 8.42245 CPU time (s): 8.41472 CPU user time (s): 8.39272 CPU system time (s): 0.021996 CPU usage (%): 99.9082 Max. virtual memory (cumulated for all children) (KiB): 19200 getrusage(RUSAGE_CHILDREN,...) data: user time used= 8.39272 system time used= 0.021996 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4227 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= 15 involuntary context switches= 34 runsolver used 0.005999 second user time and 0.024996 second system time The end
Begin job on node48 on Mon Apr 30 18:28:22 UTC 2007 IDJOB= 433318 IDBENCH= 2473 IDSOLVER= 199 FILE ID= node48/433318-1177957702 PBS_JOBID= 4727690 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-sample2.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433318-1177957702/instance-433318-1177957702.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node48/watcher-433318-1177957702 -o ROOT/results/node48/solver-433318-1177957702 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433318-1177957702/instance-433318-1177957702.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= f72f6e3cf70b31c2d253740c5b04c4f6 RANDOM SEED= 452038049 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node48.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.238 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.238 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: 1870016 kB Buffers: 13088 kB Cached: 100000 kB SwapCached: 3056 kB Active: 55320 kB Inactive: 67556 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1870016 kB SwapTotal: 4192956 kB SwapFree: 4183896 kB Dirty: 6620 kB Writeback: 0 kB Mapped: 15740 kB Slab: 49052 kB Committed_AS: 1334584 kB PageTables: 1388 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66558 MiB End job on node48 on Mon Apr 30 18:28:31 UTC 2007