Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB07: bsolo 3.0.17 | SAT (TO) | -62126175 | 1800.15 | 1800.68 |
Name | /OPT-BIGINT-LIN/ heinz/normalized-harp2.opb |
MD5SUM | 3f0afbcd16b5dd29f67967742a878949 |
Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -67205306 |
Best CPU time to get the best result obtained on this benchmark | 1800.06 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 2993 |
Total number of constraints | 112 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 73 |
Number of constraints which are nor clauses,nor cardinality constraints | 39 |
Minimum length of a constraint | 41 |
Maximum length of a constraint | 73 |
Number of terms in the objective function | 2993 |
Biggest coefficient in the objective function | 17006200 |
Number of bits for the biggest coefficient in the objective function | 25 |
Sum of the numbers in the objective function | 4415092451 |
Number of bits of the sum of numbers in the objective function | 33 |
Biggest number in a constraint | 4208540000 |
Number of bits of the biggest number in a constraint | 32 |
Biggest sum of numbers in a constraint | 46909379837 |
Number of bits of the biggest sum of numbers | 36 |
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 15500 MB 0.00/0.00 c Instance file HOME/instance-3741718-1338762553.opb 0.00/0.00 c File size is 112955 bytes. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Highest Coefficient sum: 4.69094e+10 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.007 s 0.00/0.01 c Var: 2993 Constr: 185 73/73/39 Lit: 8833 Watch. Lit: 5557 0.00/0.01 c Obj. Vars: 2993 (100 % of total variables) 0.00/0.02 c Pre-processing Time: 0.02 s 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 0 1373 173 7957 45 4872 43873 0 0 0.02 0.00/0.02 o -52043396 0.021 0.09/0.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.17 c 0 1373 174 9330 53 5301 46619 1 0 0.02 0.09/0.17 c 100 1373 274 111241 405 5504 51281 101 1754 0.06 0.09/0.17 c 350 1373 524 365353 697 6011 56410 351 2058 0.17 0.09/0.17 o -52873767 0.172 0.09/0.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.17 c 350 1373 525 366726 698 6337 46619 352 2023 0.17 0.09/0.17 o -54846522 0.175 0.09/0.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.19 c 350 1373 526 368099 699 6694 46619 353 1988 0.18 0.09/0.19 o -54864722 0.192 0.19/0.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.20 c 376 1373 553 397299 718 7111 46619 380 1958 0.19 0.19/0.20 o -59012861 0.196 0.19/0.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.21 c 387 1373 565 399263 706 7317 46619 392 1964 0.20 0.19/0.21 o -59020932 0.207 0.99/1.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.06 c 400 1373 579 412474 712 7689 46619 406 1923 0.21 0.99/1.06 c 501 1373 680 517798 761 8027 51281 507 1751 0.29 0.99/1.06 c 751 1373 930 776075 834 8546 56410 757 1406 0.53 0.99/1.06 c 1226 1373 1405 1267277 901 9387 62052 1232 1164 1.05 0.99/1.06 o -59120253 1.065 6.99/7.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.99/7.09 c 1237 1373 1417 1271499 897 9812 46619 1244 1161 1.06 6.99/7.09 c 1337 1373 1517 1361505 897 9913 51281 1344 1112 1.20 6.99/7.09 c 1587 1373 1767 1627524 921 10488 56410 1594 1064 1.49 6.99/7.09 c 2063 1373 2243 2127576 948 11470 62052 2070 1011 2.04 6.99/7.09 c 2876 1373 3056 2795251 914 12979 68258 2883 1074 2.68 6.99/7.09 c 4197 1373 4377 4182294 955 15794 75084 4204 945 4.44 6.99/7.09 c 6278 1373 6458 6278606 972 20110 82593 6285 889 7.06 6.99/7.09 o -60480780 7.089 9.68/9.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.68/9.73 c 6408 1373 6589 6284411 953 20277 46619 6416 903 7.09 9.68/9.73 c 6508 1373 6689 6389658 955 20613 51281 6516 905 7.19 9.68/9.73 c 6759 1373 6940 6648597 958 21055 56410 6767 904 7.47 9.68/9.73 c 7235 1373 7416 7144141 963 22272 62052 7243 897 8.06 9.68/9.73 c 8050 1373 8231 7182721 872 23329 68258 8058 985 8.17 9.68/9.73 c 9370 1373 9551 8560874 896 26476 75084 9378 965 9.70 9.68/9.73 o -62126175 9.729 1800.07/1800.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.07/1800.60 c 9519 1373 9701 8568988 883 26665 46619 9528 978 9.73 1800.07/1800.60 c 9619 1373 9801 8674699 885 27125 51281 9628 977 9.84 1800.07/1800.60 c 9870 1373 10052 8942115 889 27528 56410 9879 977 10.10 1800.07/1800.60 c 10345 1373 10527 9447848 897 28618 62052 10354 972 10.64 1800.07/1800.60 c 11158 1373 11340 10188813 898 30150 68258 11167 982 11.36 1800.07/1800.60 c 12478 1373 12660 11607114 916 33096 75084 12487 948 13.16 1800.07/1800.60 c 14560 1373 14742 13789856 935 36939 82593 14569 906 16.07 1800.07/1800.60 c 17783 1373 17965 17113687 952 43485 90853 17792 887 20.04 1800.07/1800.60 c 22719 1373 22901 22342551 975 53417 99939 22728 870 26.11 1800.07/1800.60 c 30226 1373 30408 30389522 999 68359 109933 30235 810 37.28 1800.07/1800.60 c 41587 1373 41769 42714574 1022 90914 120927 41596 763 54.44 1800.07/1800.60 c 58732 1373 58914 59885044 1016 125334 133020 58741 595 98.70 1800.07/1800.60 c 84551 1373 84733 86463340 1020 176968 146323 84560 441 191.71 1800.07/1800.60 c 123383 1373 123565 127413827 1031 254795 160956 123392 332 370.56 1800.07/1800.60 c 181735 1373 30766 33185791 1078 66497 177052 30593 270 672.79 1800.07/1800.60 c 269369 1373 118400 126972902 1072 241825 194758 118227 210 1279.47 1800.07/1800.60 c 400921 1373 65242 69047751 1058 135515 214234 65069 230 1738.50 1800.07/1800.60 c Caught signal: 15 1800.07/1800.60 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 -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 -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 x367 -x368 -x369 -x370 -x371 x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 x1718 -x1719 -x1720 -x1721 -x1722 x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 x2007 -x2008 -x2009 x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 x2253 -x2254 -x2255 -x2256 -x2257 x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 x2497 -x2498 -x2499 -x2500 -x2501 x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 1800.07/1800.60 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.07/1800.60 c 41 426171 19926 451381 90492 95920611 90319 236 1800.08 1800.07/1800.60 c Objective: -62126175 1800.07/1800.60 s SATISFIABLE 1800.07/1800.60 c Total time: 1800.08 s
OK -62126175
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-3741718-1338762553/watcher-3741718-1338762553 -o /tmp/evaluation-result-3741718-1338762553/solver-3741718-1338762553 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3741718-1338762553.opb running on 4 cores: 1,3,5,7 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: 4.47 3.07 2.40 3/177 7482 /proc/meminfo: memFree=28198544/32873844 swapFree=7112/7112 [pid=7482] ppid=7480 vsize=12620 CPUtime=0 cores=1,3,5,7 /proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 483 0 0 0 0 0 0 0 20 0 1 0 342380982 12922880 420 33554432000 134512640 135840783 4287502496 4287501152 6001959 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7482/statm: 3155 420 329 325 0 2063 0 [startup+0.094105 s] /proc/loadavg: 4.47 3.07 2.40 3/177 7482 /proc/meminfo: memFree=28198544/32873844 swapFree=7112/7112 [pid=7482] ppid=7480 vsize=7428 CPUtime=0.08 cores=1,3,5,7 /proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 1224 0 0 0 8 0 0 0 20 0 1 0 342380982 7606272 1133 33554432000 134512640 135840783 4287502496 4287489248 134586540 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7482/statm: 1857 1133 349 325 0 793 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 7428 [startup+0.10022 s] /proc/loadavg: 4.47 3.07 2.40 3/177 7482 /proc/meminfo: memFree=28198544/32873844 swapFree=7112/7112 [pid=7482] ppid=7480 vsize=7676 CPUtime=0.09 cores=1,3,5,7 /proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 1266 0 0 0 9 0 0 0 20 0 1 0 342380982 7860224 1175 33554432000 134512640 135840783 4287502496 4287489888 134586540 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7482/statm: 1919 1175 349 325 0 855 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7676 [startup+0.30018 s] /proc/loadavg: 4.47 3.07 2.40 3/177 7482 /proc/meminfo: memFree=28198544/32873844 swapFree=7112/7112 [pid=7482] ppid=7480 vsize=11944 CPUtime=0.29 cores=1,3,5,7 /proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 2327 0 0 0 29 0 0 0 20 0 1 0 342380982 12230656 2236 33554432000 134512640 135840783 4287502496 4287501856 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7482/statm: 2986 2236 349 325 0 1922 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11944 [startup+0.700173 s] /proc/loadavg: 4.47 3.07 2.40 3/177 7482 /proc/meminfo: memFree=28198544/32873844 swapFree=7112/7112 [pid=7482] ppid=7480 vsize=16444 CPUtime=0.69 cores=1,3,5,7 /proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 3479 0 0 0 69 0 0 0 20 0 1 0 342380982 16838656 3388 33554432000 134512640 135840783 4287502496 4287489372 14342336 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7482/statm: 4111 3388 349 325 0 3047 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16444 [startup+1.50018 s] /proc/loadavg: 4.47 3.07 2.40 3/178 7483 /proc/meminfo: memFree=28174116/32873844 swapFree=7112/7112 [pid=7482] ppid=7480 vsize=26068 CPUtime=1.48 cores=1,3,5,7 /proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 5865 0 0 0 148 0 0 0 20 0 1 0 342380982 26693632 5774 33554432000 134512640 135840783 4287502496 4287501856 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7482/statm: 6517 5774 349 325 0 5453 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 26068 [startup+3.10018 s] /proc/loadavg: 4.47 3.07 2.40 3/178 7483 /proc/meminfo: memFree=28152172/32873844 swapFree=7112/7112 [pid=7482] ppid=7480 vsize=45400 CPUtime=3.08 cores=1,3,5,7 /proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 10694 0 0 0 307 1 0 0 20 0 1 0 342380982 46489600 10603 33554432000 134512640 135840783 4287502496 4287501856 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7482/statm: 11350 10603 349 325 0 10286 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 45400 [startup+6.30018 s] /proc/loadavg: 4.27 3.06 2.39 3/178 7483 /proc/meminfo: memFree=28089856/32873844 swapFree=7112/7112 [pid=7482] ppid=7480 vsize=77924 CPUtime=6.29 cores=1,3,5,7 /proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 18832 0 0 0 626 3 0 0 20 0 1 0 342380982 79794176 18741 33554432000 134512640 135840783 4287502496 4287501856 134550884 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7482/statm: 19481 18741 349 325 0 18417 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 77924 [startup+12.7002 s] /proc/loadavg: 4.09 3.04 2.39 3/178 7483 /proc/meminfo: memFree=27950256/32873844 swapFree=7112/7112 [pid=7482] ppid=7480 vsize=149704 CPUtime=12.68 cores=1,3,5,7 /proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 36768 0 0 0 1262 6 0 0 20 0 1 0 342380982 153296896 36677 33554432000 134512640 135840783 4287502496 4287501856 134550902 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7482/statm: 37426 36677 349 325 0 36362 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 149704 [startup+25.5002 s] /proc/loadavg: 3.63 2.99 2.38 3/178 7483 /proc/meminfo: memFree=27663664/32873844 swapFree=7112/7112 [pid=7482] ppid=7480 vsize=285192 CPUtime=25.48 cores=1,3,5,7 /proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 70652 0 0 0 2536 12 0 0 20 0 1 0 342380982 292036608 70561 33554432000 134512640 135840783 4287502496 4287488928 134586540 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7482/statm: 71298 70561 349 325 0 70234 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 285192 [startup+51.1003 s] /proc/loadavg: 3.07 2.91 2.37 3/178 7485 /proc/meminfo: memFree=27302504/32873844 swapFree=7112/7112 [pid=7482] ppid=7480 vsize=525996 CPUtime=51.08 cores=1,3,5,7 /proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 130850 0 0 0 5085 23 0 0 20 0 1 0 342380982 538619904 130759 33554432000 134512640 135840783 4287502496 4287501856 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7482/statm: 131499 130759 349 325 0 130435 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 525996 [startup+102.307 s] /proc/loadavg: 2.46 2.77 2.35 3/178 7485 /proc/meminfo: memFree=26596524/32873844 swapFree=7112/7112 [pid=7482] ppid=7480 vsize=799336 CPUtime=102.27 cores=1,3,5,7 /proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 199189 0 0 0 10188 39 0 0 20 0 1 0 342380982 818520064 199098 33554432000 134512640 135840783 4287502496 4287501856 134551359 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7482/statm: 199834 199098 349 325 0 198770 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 799336 [startup+162.3 s] /proc/loadavg: 2.17 2.62 2.33 3/177 7485 /proc/meminfo: memFree=25788452/32873844 swapFree=7112/7112 [pid=7482] ppid=7480 vsize=1031440 CPUtime=162.26 cores=1,3,5,7 /proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 257205 0 0 0 16175 51 0 0 20 0 1 0 342380982 1056194560 257114 33554432000 134512640 135840783 4287502496 4287501808 134550902 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7482/statm: 257860 257114 349 325 0 256796 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 1031440 [startup+222.3 s] /proc/loadavg: 2.06 2.51 2.30 3/177 7485 /proc/meminfo: memFree=25193652/32873844 swapFree=7112/7112 [pid=7482] ppid=7480 vsize=1219440 CPUtime=222.25 cores=1,3,5,7 /proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 304225 0 0 0 22162 63 0 0 20 0 1 0 342380982 1248706560 304134 33554432000 134512640 135840783 4287502496 4287501856 134550878 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7482/statm: 304860 304134 349 325 0 303796 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 1219440 [startup+282.3 s] /proc/loadavg: 2.02 2.41 2.28 3/177 7486 /proc/meminfo: memFree=24693216/32873844 swapFree=7112/7112 [pid=7482] ppid=7480 vsize=1441824 CPUtime=282.25 cores=1,3,5,7 /proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 359820 0 0 0 28147 78 0 0 20 0 1 0 342380982 1476427776 359729 33554432000 134512640 135840783 4287502496 4287501856 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7482/statm: 360456 359729 349 325 0 359392 0 Current children cumulated CPU time (s) 282.25 Current children cumulated vsize (KiB) 1441824 [startup+342.3 s] /proc/loadavg: 2.01 2.33 2.26 3/177 7486 /proc/meminfo: memFree=24269784/32873844 swapFree=7112/7112 [pid=7482] ppid=7480 vsize=1586296 CPUtime=342.23 cores=1,3,5,7 /proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 395932 0 0 0 34135 88 0 0 20 0 1 0 342380982 1624367104 395841 33554432000 134512640 135840783 4287502496 4287501808 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7482/statm: 396574 395841 349 325 0 395510 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 1586296 [startup+402.3 s] /proc/loadavg: 2.00 2.27 2.24 3/177 7486 /proc/meminfo: memFree=23795264/32873844 swapFree=7112/7112 [pid=7482] ppid=7480 vsize=1830900 CPUtime=402.23 cores=1,3,5,7 /proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 457066 0 0 0 40121 102 0 0 20 0 1 0 342380982 1874841600 456975 33554432000 134512640 135840783 4287502496 4287501856 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7482/statm: 457725 456975 349 325 0 456661 0 Current children cumulated CPU time (s) 402.23 Current children cumulated vsize (KiB) 1830900 [startup+462.3 s] /proc/loadavg: 2.00 2.22 2.23 3/177 7486 /proc/meminfo: memFree=23282552/32873844 swapFree=7112/7112 [pid=7482] ppid=7480 vsize=1961368 CPUtime=462.21 cores=1,3,5,7 /proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 489698 0 0 0 46111 110 0 0 20 0 1 0 342380982 2008440832 489607 33554432000 134512640 135840783 4287502496 4287501856 134551104 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7482/statm: 490342 489607 349 325 0 489278 0 Current children cumulated CPU time (s) 462.21 Current children cumulated vsize (KiB) 1961368 [startup+522.3 s] /proc/loadavg: 2.04 2.19 2.21 3/177 7486 /proc/meminfo: memFree=22712428/32873844 swapFree=7112/7112 [pid=7482] ppid=7480 vsize=2041072 CPUtime=522.21 cores=1,3,5,7 /proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 509616 0 0 0 52105 116 0 0 20 0 1 0 342380982 2090057728 509525 33554432000 134512640 135840783 4287502496 4287501856 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7482/statm: 510268 509525 349 325 0 509204 0 Current children cumulated CPU time (s) 522.21 Current children cumulated vsize (KiB) 2041072 [startup+582.3 s] /proc/loadavg: 2.01 2.15 2.20 3/177 7487 /proc/meminfo: memFree=22137716/32873844 swapFree=7112/7112 [pid=7482] ppid=7480 vsize=2202080 CPUtime=582.19 cores=1,3,5,7 /proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 550033 0 0 0 58095 124 0 0 20 0 1 0 342380982 2254929920 549781 33554432000 134512640 135840783 4287502496 4287501920 134546112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7482/statm: 550520 549781 349 325 0 549456 0 Current children cumulated CPU time (s) 582.19 Current children cumulated vsize (KiB) 2202080 [startup+642.3 s] ################ # More data... # ################ [startup+882.3 s] /proc/loadavg: 2.31 2.92 2.58 3/177 7531 /proc/meminfo: memFree=25784520/32873844 swapFree=7112/7112 [pid=7482] ppid=7480 vsize=2202080 CPUtime=882.09 cores=1,3,5,7 /proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 550124 0 0 0 88084 125 0 0 20 0 1 0 342380982 2254929920 549786 33554432000 134512640 135840783 4287502496 4287501856 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7482/statm: 550520 549786 349 325 0 549456 0 Current children cumulated CPU time (s) 882.09 Current children cumulated vsize (KiB) 2202080 [startup+942.3 s] /proc/loadavg: 2.11 2.75 2.54 3/177 7531 /proc/meminfo: memFree=25697996/32873844 swapFree=7112/7112 [pid=7482] ppid=7480 vsize=2202080 CPUtime=942.08 cores=1,3,5,7 /proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 550142 0 0 0 94083 125 0 0 20 0 1 0 342380982 2254929920 549786 33554432000 134512640 135840783 4287502496 4287501856 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7482/statm: 550520 549786 349 325 0 549456 0 Current children cumulated CPU time (s) 942.08 Current children cumulated vsize (KiB) 2202080 [startup+1002.3 s] /proc/loadavg: 2.08 2.63 2.51 3/177 7531 /proc/meminfo: memFree=25698148/32873844 swapFree=7112/7112 [pid=7482] ppid=7480 vsize=2202080 CPUtime=1002.06 cores=1,3,5,7 /proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 550162 0 0 0 100081 125 0 0 20 0 1 0 342380982 2254929920 549786 33554432000 134512640 135840783 4287502496 4287501856 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7482/statm: 550520 549786 349 325 0 549456 0 Current children cumulated CPU time (s) 1002.06 Current children cumulated vsize (KiB) 2202080 [startup+1062.3 s] /proc/loadavg: 2.03 2.51 2.47 3/177 7531 /proc/meminfo: memFree=25628860/32873844 swapFree=7112/7112 [pid=7482] ppid=7480 vsize=2202080 CPUtime=1062.05 cores=1,3,5,7 /proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 550169 0 0 0 106080 125 0 0 20 0 1 0 342380982 2254929920 549786 33554432000 134512640 135840783 4287502496 4287501856 134550902 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7482/statm: 550520 549786 349 325 0 549456 0 Current children cumulated CPU time (s) 1062.05 Current children cumulated vsize (KiB) 2202080 [startup+1122.3 s] /proc/loadavg: 2.01 2.41 2.44 3/177 7531 /proc/meminfo: memFree=25566888/32873844 swapFree=7112/7112 [pid=7482] ppid=7480 vsize=2202080 CPUtime=1122.03 cores=1,3,5,7 /proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 550187 0 0 0 112078 125 0 0 20 0 1 0 342380982 2254929920 549786 33554432000 134512640 135840783 4287502496 4287501856 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7482/statm: 550520 549786 349 325 0 549456 0 Current children cumulated CPU time (s) 1122.03 Current children cumulated vsize (KiB) 2202080 [startup+1182.31 s] /proc/loadavg: 2.00 2.34 2.41 3/177 7532 /proc/meminfo: memFree=25566916/32873844 swapFree=7112/7112 [pid=7482] ppid=7480 vsize=2202080 CPUtime=1182.01 cores=1,3,5,7 /proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 550206 0 0 0 118076 125 0 0 20 0 1 0 342380982 2254929920 549786 33554432000 134512640 135840783 4287502496 4287501856 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7482/statm: 550520 549786 349 325 0 549456 0 Current children cumulated CPU time (s) 1182.01 Current children cumulated vsize (KiB) 2202080 [startup+1242.3 s] /proc/loadavg: 2.00 2.27 2.38 3/177 7532 /proc/meminfo: memFree=25566696/32873844 swapFree=7112/7112 [pid=7482] ppid=7480 vsize=2202080 CPUtime=1241.99 cores=1,3,5,7 /proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 550228 0 0 0 124074 125 0 0 20 0 1 0 342380982 2254929920 549786 33554432000 134512640 135840783 4287502496 4287501856 134551186 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7482/statm: 550520 549786 349 325 0 549456 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 2202080 [startup+1302.3 s] /proc/loadavg: 2.04 2.23 2.36 3/178 7535 /proc/meminfo: memFree=25531128/32873844 swapFree=7112/7112 [pid=7482] ppid=7480 vsize=2202080 CPUtime=1301.96 cores=1,3,5,7 /proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 550251 0 0 0 130071 125 0 0 20 0 1 0 342380982 2254929920 549786 33554432000 134512640 135840783 4287502496 4287501856 134551175 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7482/statm: 550520 549786 349 325 0 549456 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 2202080 [startup+1362.3 s] /proc/loadavg: 2.01 2.19 2.34 3/177 7535 /proc/meminfo: memFree=25438164/32873844 swapFree=7112/7112 [pid=7482] ppid=7480 vsize=2248036 CPUtime=1361.94 cores=1,3,5,7 /proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 561755 0 0 0 136066 128 0 0 20 0 1 0 342380982 2301988864 561270 33554432000 134512640 135840783 4287502496 4287488816 134586540 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7482/statm: 562009 561270 349 325 0 560945 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 2248036 [startup+1422.3 s] /proc/loadavg: 2.00 2.15 2.31 3/177 7535 /proc/meminfo: memFree=25211768/32873844 swapFree=7112/7112 [pid=7482] ppid=7480 vsize=2469820 CPUtime=1421.9 cores=1,3,5,7 /proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 617216 0 0 0 142049 141 0 0 20 0 1 0 342380982 2529095680 616710 33554432000 134512640 135840783 4287502496 4287501856 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7482/statm: 617455 616710 349 325 0 616391 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 2469820 [startup+1482.3 s] /proc/loadavg: 2.00 2.12 2.29 3/177 7536 /proc/meminfo: memFree=25081100/32873844 swapFree=7112/7112 [pid=7482] ppid=7480 vsize=2602736 CPUtime=1481.88 cores=1,3,5,7 /proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 650459 0 0 0 148036 152 0 0 20 0 1 0 342380982 2665201664 649945 33554432000 134512640 135840783 4287502496 4287501856 134551324 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7482/statm: 650684 649945 349 325 0 649620 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 2602736 [startup+1542.3 s] /proc/loadavg: 2.00 2.10 2.27 3/176 7536 /proc/meminfo: memFree=24991484/32873844 swapFree=7112/7112 [pid=7482] ppid=7480 vsize=2689460 CPUtime=1541.86 cores=1,3,5,7 /proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 672359 0 0 0 154026 160 0 0 20 0 1 0 342380982 2754007040 671630 33554432000 134512640 135840783 4287502496 4287501920 134546112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7482/statm: 672365 671630 349 325 0 671301 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 2689460 [startup+1602.3 s] /proc/loadavg: 2.00 2.08 2.25 3/177 7537 /proc/meminfo: memFree=24991132/32873844 swapFree=7112/7112 [pid=7482] ppid=7480 vsize=2689460 CPUtime=1601.84 cores=1,3,5,7 /proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 672385 0 0 0 160024 160 0 0 20 0 1 0 342380982 2754007040 671630 33554432000 134512640 135840783 4287502496 4287501856 134550916 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7482/statm: 672365 671630 349 325 0 671301 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 2689460 [startup+1662.3 s] /proc/loadavg: 2.00 2.06 2.23 3/177 7537 /proc/meminfo: memFree=24991160/32873844 swapFree=7112/7112 [pid=7482] ppid=7480 vsize=2689460 CPUtime=1661.81 cores=1,3,5,7 /proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 672414 0 0 0 166021 160 0 0 20 0 1 0 342380982 2754007040 671630 33554432000 134512640 135840783 4287502496 4287501856 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7482/statm: 672365 671630 349 325 0 671301 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 2689460 [startup+1722.3 s] /proc/loadavg: 2.00 2.05 2.21 3/177 7537 /proc/meminfo: memFree=24991188/32873844 swapFree=7112/7112 [pid=7482] ppid=7480 vsize=2689460 CPUtime=1721.79 cores=1,3,5,7 /proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 672449 0 0 0 172019 160 0 0 20 0 1 0 342380982 2754007040 671630 33554432000 134512640 135840783 4287502496 4287501856 134551186 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7482/statm: 672365 671630 349 325 0 671301 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 2689460 [startup+1782.3 s] /proc/loadavg: 2.04 2.05 2.20 3/177 7538 /proc/meminfo: memFree=24990720/32873844 swapFree=7112/7112 [pid=7482] ppid=7480 vsize=2689460 CPUtime=1781.77 cores=1,3,5,7 /proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 672461 0 0 0 178017 160 0 0 20 0 1 0 342380982 2754007040 671630 33554432000 134512640 135840783 4287502496 4287501856 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7482/statm: 672365 671630 349 325 0 671301 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 2689460 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.03 2.05 2.20 3/177 7538 /proc/meminfo: memFree=24991060/32873844 swapFree=7112/7112 [pid=7482] ppid=7480 vsize=2689460 CPUtime=1800.07 cores=1,3,5,7 /proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 672462 0 0 0 179847 160 0 0 20 0 1 0 342380982 2754007040 671630 33554432000 134512640 135840783 4287502496 4287501856 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7482/statm: 672365 671630 349 325 0 671301 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 2689460 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.6 s] /proc/loadavg: 2.03 2.05 2.20 3/177 7538 /proc/meminfo: memFree=24991060/32873844 swapFree=7112/7112 [pid=7482] ppid=7480 vsize=2689460 CPUtime=1800.07 cores=1,3,5,7 /proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 672462 0 0 0 179847 160 0 0 20 0 1 0 342380982 2754007040 671630 33554432000 134512640 135840783 4287502496 4287501856 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7482/statm: 672365 671630 349 325 0 671301 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 2689460 Child status: 15 Real time (s): 1800.68 CPU time (s): 1800.15 CPU user time (s): 1798.48 CPU system time (s): 1.67374 CPU usage (%): 99.9707 Max. virtual memory (cumulated for all children) (KiB): 2690236 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.48 system time used= 1.67374 maximum resident set size= 2687296 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 672465 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= 428 involuntary context switches= 1843 runsolver used 4.13337 second user time and 9.15161 second system time The end
Begin job on node119 at 2012-06-04 00:29:13 IDJOB=3741718 IDBENCH=89903 IDSOLVER=2318 FILE ID=node119/3741718-1338762553 RUNJOBID= node119-1338748763-5965 PBS_JOBID= 14636790 Free space on /tmp= 70892 MiB SOLVER NAME= PB07: bsolo 3.0.17 BENCH NAME= PB11/normalized-PB11/OPT-BIGINT-LIN/heinz/normalized-harp2.opb COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741718-1338762553/watcher-3741718-1338762553 -o /tmp/evaluation-result-3741718-1338762553/solver-3741718-1338762553 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3741718-1338762553.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3f0afbcd16b5dd29f67967742a878949 RANDOM SEED=158684459 node119.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.943 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 : 5333.88 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.943 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.943 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.93 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.943 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.91 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.943 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.93 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.943 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.92 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.943 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.90 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.943 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: 32873844 kB MemFree: 28199180 kB Buffers: 420960 kB Cached: 3138968 kB SwapCached: 1936 kB Active: 1775976 kB Inactive: 2054744 kB Active(anon): 265876 kB Inactive(anon): 6624 kB Active(file): 1510100 kB Inactive(file): 2048120 kB Unevictable: 7112 kB Mlocked: 7112 kB SwapTotal: 67108856 kB SwapFree: 67100224 kB Dirty: 12448 kB Writeback: 0 kB AnonPages: 275628 kB Mapped: 13292 kB Shmem: 0 kB Slab: 703812 kB SReclaimable: 145088 kB SUnreclaim: 558724 kB KernelStack: 1480 kB PageTables: 4668 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 389036 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 2048 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70840 MiB End job on node119 at 2012-06-04 00:59:16