Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | Wrong Opt. | -28 | 1087.56 | 1087.9 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_25_2.opb |
MD5SUM | 4a1dc018d8373d1119ec5a7a226f506e |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -31 |
Best CPU time to get the best result obtained on this benchmark | 1800.58 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -29 |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 200 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 200 |
Minimum length of a constraint | 25 |
Maximum length of a constraint | 44 |
Number of terms in the objective function | 200 |
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 | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 6220 |
Sum of products size (including duplicates) | 12440 |
Number of different products | 3110 |
Sum of products size | 6220 |
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: Generic Pseudo-Boolean 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-1879647-1245246404.opb 0.00/0.00 c File size is 256583 bytes. 0.00/0.03 c Highest Coefficient sum: 200 0.00/0.03 c Parsing was ok!! 0.00/0.03 c Total parsing time: 0.037 s 0.00/0.04 c Var: 3310 Constr: 6620 3310/200/3110 Lit: 31100 Watch. Lit: 21770 0.00/0.04 c Obj. Vars: 200 (6.0423 % of total variables) 0.06/0.08 c Pre-processing Time: 0.079 s 0.06/0.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.06/0.08 c 0 200 3110 9330 3 6220 1036 0 0 0.08 0.06/0.08 c Switching off lower bounding mode. 0.06/0.08 o -21 0.06/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.06/0.09 c 0 200 3111 9530 3 6243 2036 1 0 0.08 0.06/0.09 o -22 0.09/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.13 c 29 200 3157 18006 5 6599 2036 47 311 0.09 0.09/0.13 o -23 0.09/0.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.15 c 103 200 3295 43770 13 7737 2036 185 762 0.14 0.09/0.15 o -24 1.69/1.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.69/1.76 c 134 200 3354 54744 16 7990 2036 244 864 0.15 1.69/1.76 c 234 200 3537 88770 25 9582 2240 427 991 0.24 1.69/1.76 c 484 200 4025 179348 44 13468 2465 915 897 0.54 1.69/1.76 c 959 200 4961 357012 71 20759 2712 1851 672 1.43 1.69/1.76 o -25 5.29/5.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.29/5.39 c 1106 200 5251 410983 78 21342 2036 2141 626 1.76 5.29/5.39 c 1206 200 5441 446640 82 22575 2240 2331 578 2.08 5.29/5.39 c 1458 200 5931 540333 91 26350 2465 2821 474 3.07 5.29/5.39 c 1933 200 6856 715961 104 33850 2712 3746 364 5.31 5.29/5.39 o -26 40.18/40.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 40.18/40.30 c 1937 200 6864 717453 104 31944 2036 3754 359 5.39 40.18/40.30 c 2038 200 7066 755358 106 34191 2240 3956 341 5.97 40.18/40.30 c 2288 200 7559 849821 112 38618 2465 4449 309 7.38 40.18/40.30 c 2763 200 8495 1030676 121 46236 2712 5385 248 11.13 40.18/40.30 c 3577 200 5455 451548 82 29711 2984 2345 223 16.03 40.18/40.30 c 4898 200 8047 962579 119 45663 3283 4937 175 27.86 40.18/40.30 o -27 588.21/588.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 588.21/588.49 c 6778 199 6849 715971 104 38667 2036 3739 168 40.29 588.21/588.49 c 6878 199 7038 751085 106 35263 2240 3928 168 40.92 588.21/588.49 c 7129 199 7532 846122 112 40429 2465 4422 167 42.65 588.21/588.49 c 7604 198 8461 1024115 121 46518 2712 5351 163 46.40 588.21/588.49 c 8418 196 5435 438561 80 29082 2984 2325 163 51.48 588.21/588.49 c 9738 195 8012 939072 117 46763 3283 4902 154 63.15 588.21/588.49 c 11820 194 7180 794344 110 38310 3612 4070 146 80.73 588.21/588.49 c 15043 194 8421 1033002 122 46237 3974 5311 138 108.63 588.21/588.49 c 19980 194 7610 849537 111 42675 4372 4500 133 149.12 588.21/588.49 c 27487 193 5851 526434 89 30095 4810 2741 125 219.03 588.21/588.49 c 38849 190 10956 1511815 137 67210 5292 7846 122 316.75 588.21/588.49 c 55993 190 8877 1120339 126 49561 5822 5767 114 490.67 588.21/588.49 o -28 1087.46/1087.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1087.46/1087.89 c 65501 189 8967 1077851 120 57780 2036 5857 111 588.31 1087.46/1087.89 c 65602 189 4339 226785 52 19326 2240 1229 111 589.71 1087.46/1087.89 c 65852 188 4822 316923 65 23366 2465 1712 111 590.59 1087.46/1087.89 c 66328 188 5758 487624 84 31811 2712 2648 111 592.84 1087.46/1087.89 c 67141 187 7305 779993 106 40317 2984 4195 112 599.05 1087.46/1087.89 c 68461 182 5177 370463 71 27472 3283 2067 111 611.69 1087.46/1087.89 c 70542 171 9227 1096148 118 52763 3612 6117 112 627.72 1087.46/1087.89 c 73765 159 5263 360999 68 27998 3974 2153 111 659.63 1087.46/1087.89 c 78701 144 9526 1051000 110 52481 4372 6416 110 712.18 1087.46/1087.89 c 86207 126 7714 714620 92 40118 4810 4604 108 791.24 1087.46/1087.89 c 97568 114 6977 552477 79 36607 5292 3867 107 911.52 1087.46/1087.89 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 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 1087.46/1087.89 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1087.46/1087.89 c 40 112539 4218 117772 11176 1032100 8066 103 1087.56 1087.46/1087.89 c Objective: -28 1087.46/1087.89 s OPTIMUM FOUND 1087.46/1087.89 c Total time: 1087.56 s
OK -28
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1879647-1245246404/watcher-1879647-1245246404 -o /tmp/evaluation-result-1879647-1245246404/solver-1879647-1245246404 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879647-1245246404.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: 0.99 0.96 0.67 3/64 2693 /proc/meminfo: memFree=1951080/2055920 swapFree=4192956/4192956 [pid=2693] ppid=2691 vsize=10964 CPUtime=0 /proc/2693/stat : 2693 (bsolo) R 2691 2693 2610 0 -1 4194304 266 0 0 0 0 0 0 0 18 0 1 0 116239 11227136 250 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2693/statm: 2741 250 174 640 0 2034 0 [startup+0.0719401 s] /proc/loadavg: 0.99 0.96 0.67 3/64 2693 /proc/meminfo: memFree=1951080/2055920 swapFree=4192956/4192956 [pid=2693] ppid=2691 vsize=12624 CPUtime=0.06 /proc/2693/stat : 2693 (bsolo) R 2691 2693 2610 0 -1 4194304 792 0 0 0 6 0 0 0 18 0 1 0 116239 12926976 713 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2693/statm: 3156 713 191 640 0 2512 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 12624 [startup+0.101942 s] /proc/loadavg: 0.99 0.96 0.67 3/64 2693 /proc/meminfo: memFree=1951080/2055920 swapFree=4192956/4192956 [pid=2693] ppid=2691 vsize=12624 CPUtime=0.09 /proc/2693/stat : 2693 (bsolo) R 2691 2693 2610 0 -1 4194304 798 0 0 0 9 0 0 0 18 0 1 0 116239 12926976 719 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2693/statm: 3156 719 197 640 0 2512 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12624 [startup+0.301961 s] /proc/loadavg: 0.99 0.96 0.67 3/64 2693 /proc/meminfo: memFree=1951080/2055920 swapFree=4192956/4192956 [pid=2693] ppid=2691 vsize=13688 CPUtime=0.29 /proc/2693/stat : 2693 (bsolo) R 2691 2693 2610 0 -1 4194304 1064 0 0 0 29 0 0 0 19 0 1 0 116239 14016512 985 1992294400 134512640 137136520 4294956256 18446744073709551615 134544384 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2693/statm: 3422 985 197 640 0 2778 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13688 [startup+0.701999 s] /proc/loadavg: 0.99 0.96 0.67 3/64 2693 /proc/meminfo: memFree=1951080/2055920 swapFree=4192956/4192956 [pid=2693] ppid=2691 vsize=14972 CPUtime=0.69 /proc/2693/stat : 2693 (bsolo) R 2691 2693 2610 0 -1 4194304 1399 0 0 0 69 0 0 0 23 0 1 0 116239 15331328 1320 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2693/statm: 3743 1320 197 640 0 3099 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14972 [startup+1.50108 s] /proc/loadavg: 0.99 0.96 0.67 2/65 2694 /proc/meminfo: memFree=1945760/2055920 swapFree=4192956/4192956 [pid=2693] ppid=2691 vsize=16856 CPUtime=1.49 /proc/2693/stat : 2693 (bsolo) R 2691 2693 2610 0 -1 4194304 1871 0 0 0 148 1 0 0 25 0 1 0 116239 17260544 1792 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2693/statm: 4214 1792 197 640 0 3570 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16856 [startup+3.10123 s] /proc/loadavg: 0.99 0.96 0.67 2/65 2694 /proc/meminfo: memFree=1943520/2055920 swapFree=4192956/4192956 [pid=2693] ppid=2691 vsize=19096 CPUtime=3.09 /proc/2693/stat : 2693 (bsolo) R 2691 2693 2610 0 -1 4194304 2431 0 0 0 308 1 0 0 25 0 1 0 116239 19554304 2352 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2693/statm: 4774 2352 197 640 0 4130 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19096 [startup+6.30153 s] /proc/loadavg: 0.99 0.96 0.67 2/65 2694 /proc/meminfo: memFree=1939552/2055920 swapFree=4192956/4192956 [pid=2693] ppid=2691 vsize=22408 CPUtime=6.28 /proc/2693/stat : 2693 (bsolo) R 2691 2693 2610 0 -1 4194304 3245 0 0 0 627 1 0 0 25 0 1 0 116239 22945792 3166 1992294400 134512640 137136520 4294956256 18446744073709551615 134544112 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2693/statm: 5602 3166 197 640 0 4958 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 22408 [startup+12.7011 s] /proc/loadavg: 0.99 0.96 0.67 2/65 2694 /proc/meminfo: memFree=1934688/2055920 swapFree=4192956/4192956 [pid=2693] ppid=2691 vsize=27028 CPUtime=12.69 /proc/2693/stat : 2693 (bsolo) R 2691 2693 2610 0 -1 4194304 4401 0 0 0 1266 3 0 0 25 0 1 0 116239 27676672 4322 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2693/statm: 6757 4322 198 640 0 6113 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 27028 [startup+25.5013 s] /proc/loadavg: 0.99 0.96 0.68 2/65 2694 /proc/meminfo: memFree=1933664/2055920 swapFree=4192956/4192956 [pid=2693] ppid=2691 vsize=27608 CPUtime=25.49 /proc/2693/stat : 2693 (bsolo) R 2691 2693 2610 0 -1 4194304 4546 0 0 0 2545 4 0 0 25 0 1 0 116239 28270592 4467 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2693/statm: 6902 4467 198 640 0 6258 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 27608 [startup+51.1014 s] /proc/loadavg: 0.99 0.97 0.68 2/65 2694 /proc/meminfo: memFree=1931936/2055920 swapFree=4192956/4192956 [pid=2693] ppid=2691 vsize=29396 CPUtime=51.07 /proc/2693/stat : 2693 (bsolo) R 2691 2693 2610 0 -1 4194304 4993 0 0 0 5103 4 0 0 25 0 1 0 116239 30101504 4914 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2693/statm: 7349 4914 198 640 0 6705 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 29396 [startup+102.305 s] /proc/loadavg: 0.99 0.97 0.70 2/65 2694 /proc/meminfo: memFree=1930976/2055920 swapFree=4192956/4192956 [pid=2693] ppid=2691 vsize=30304 CPUtime=102.26 /proc/2693/stat : 2693 (bsolo) R 2691 2693 2610 0 -1 4194304 5235 0 0 0 10220 6 0 0 25 0 1 0 116239 31031296 5156 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2693/statm: 7576 5156 198 640 0 6932 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 30304 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.72 2/65 2694 /proc/meminfo: memFree=1929696/2055920 swapFree=4192956/4192956 [pid=2693] ppid=2691 vsize=31848 CPUtime=162.24 /proc/2693/stat : 2693 (bsolo) R 2691 2693 2610 0 -1 4194304 5621 0 0 0 16216 8 0 0 25 0 1 0 116239 32612352 5542 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2693/statm: 7962 5542 198 640 0 7318 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 31848 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.73 2/65 2694 /proc/meminfo: memFree=1928544/2055920 swapFree=4192956/4192956 [pid=2693] ppid=2691 vsize=32688 CPUtime=222.21 /proc/2693/stat : 2693 (bsolo) R 2691 2693 2610 0 -1 4194304 5832 0 0 0 22212 9 0 0 25 0 1 0 116239 33472512 5753 1992294400 134512640 137136520 4294956256 18446744073709551615 134544245 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2693/statm: 8172 5753 198 640 0 7528 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 32688 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.74 2/65 2694 /proc/meminfo: memFree=1927776/2055920 swapFree=4192956/4192956 [pid=2693] ppid=2691 vsize=33424 CPUtime=282.21 /proc/2693/stat : 2693 (bsolo) R 2691 2693 2610 0 -1 4194304 6009 0 0 0 28209 12 0 0 25 0 1 0 116239 34226176 5930 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2693/statm: 8356 5930 198 640 0 7712 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 33424 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.76 2/65 2694 /proc/meminfo: memFree=1926432/2055920 swapFree=4192956/4192956 [pid=2693] ppid=2691 vsize=34748 CPUtime=342.19 /proc/2693/stat : 2693 (bsolo) R 2691 2693 2610 0 -1 4194304 6348 0 0 0 34205 14 0 0 25 0 1 0 116239 35581952 6269 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2693/statm: 8687 6269 198 640 0 8043 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 34748 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.77 2/65 2694 /proc/meminfo: memFree=1926112/2055920 swapFree=4192956/4192956 [pid=2693] ppid=2691 vsize=35108 CPUtime=402.17 /proc/2693/stat : 2693 (bsolo) R 2691 2693 2610 0 -1 4194304 6424 0 0 0 40201 16 0 0 25 0 1 0 116239 35950592 6345 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2693/statm: 8777 6345 198 640 0 8133 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 35108 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.78 2/65 2694 /proc/meminfo: memFree=1925664/2055920 swapFree=4192956/4192956 [pid=2693] ppid=2691 vsize=35472 CPUtime=462.15 /proc/2693/stat : 2693 (bsolo) R 2691 2693 2610 0 -1 4194304 6515 0 0 0 46196 19 0 0 25 0 1 0 116239 36323328 6436 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2693/statm: 8868 6436 198 640 0 8224 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 35472 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.79 2/65 2694 /proc/meminfo: memFree=1924768/2055920 swapFree=4192956/4192956 [pid=2693] ppid=2691 vsize=36332 CPUtime=522.13 /proc/2693/stat : 2693 (bsolo) R 2691 2693 2610 0 -1 4194304 6736 0 0 0 52192 21 0 0 25 0 1 0 116239 37203968 6657 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2693/statm: 9083 6657 198 640 0 8439 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 36332 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.80 2/65 2694 /proc/meminfo: memFree=1924768/2055920 swapFree=4192956/4192956 [pid=2693] ppid=2691 vsize=36332 CPUtime=582.11 /proc/2693/stat : 2693 (bsolo) R 2691 2693 2610 0 -1 4194304 6736 0 0 0 58188 23 0 0 25 0 1 0 116239 37203968 6657 1992294400 134512640 137136520 4294956256 18446744073709551615 135982492 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2693/statm: 9083 6657 198 640 0 8439 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 36332 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.81 2/65 2694 /proc/meminfo: memFree=1925344/2055920 swapFree=4192956/4192956 [pid=2693] ppid=2691 vsize=35440 CPUtime=642.09 /proc/2693/stat : 2693 (bsolo) R 2691 2693 2610 0 -1 4194304 6736 0 0 0 64184 25 0 0 25 0 1 0 116239 36290560 6450 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2693/statm: 8860 6450 198 640 0 8216 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 35440 [startup+702.302 s] /proc/loadavg: 0.99 0.97 0.82 2/65 2694 /proc/meminfo: memFree=1925344/2055920 swapFree=4192956/4192956 [pid=2693] ppid=2691 vsize=35440 CPUtime=702.07 /proc/2693/stat : 2693 (bsolo) R 2691 2693 2610 0 -1 4194304 6736 0 0 0 70180 27 0 0 25 0 1 0 116239 36290560 6450 1992294400 134512640 137136520 4294956256 18446744073709551615 134544431 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2693/statm: 8860 6450 198 640 0 8216 0 Current children cumulated CPU time (s) 702.07 Current children cumulated vsize (KiB) 35440 [startup+762.305 s] /proc/loadavg: 0.99 0.97 0.83 2/65 2694 /proc/meminfo: memFree=1925408/2055920 swapFree=4192956/4192956 [pid=2693] ppid=2691 vsize=35404 CPUtime=762.06 /proc/2693/stat : 2693 (bsolo) R 2691 2693 2610 0 -1 4194304 6736 0 0 0 76177 29 0 0 25 0 1 0 116239 36253696 6441 1992294400 134512640 137136520 4294956256 18446744073709551615 136509034 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2693/statm: 8851 6441 198 640 0 8207 0 Current children cumulated CPU time (s) 762.06 Current children cumulated vsize (KiB) 35404 [startup+822.301 s] /proc/loadavg: 0.99 0.97 0.83 2/65 2694 /proc/meminfo: memFree=1925408/2055920 swapFree=4192956/4192956 [pid=2693] ppid=2691 vsize=35404 CPUtime=822.04 /proc/2693/stat : 2693 (bsolo) R 2691 2693 2610 0 -1 4194304 6736 0 0 0 82172 32 0 0 25 0 1 0 116239 36253696 6441 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2693/statm: 8851 6441 198 640 0 8207 0 Current children cumulated CPU time (s) 822.04 Current children cumulated vsize (KiB) 35404 [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.84 2/65 2700 /proc/meminfo: memFree=1925144/2055920 swapFree=4192956/4192956 [pid=2693] ppid=2691 vsize=35404 CPUtime=882.01 /proc/2693/stat : 2693 (bsolo) R 2691 2693 2610 0 -1 4194304 6736 0 0 0 88169 32 0 0 25 0 1 0 116239 36253696 6441 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2693/statm: 8851 6441 198 640 0 8207 0 Current children cumulated CPU time (s) 882.01 Current children cumulated vsize (KiB) 35404 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.85 2/65 2700 /proc/meminfo: memFree=1925144/2055920 swapFree=4192956/4192956 [pid=2693] ppid=2691 vsize=35404 CPUtime=942 /proc/2693/stat : 2693 (bsolo) R 2691 2693 2610 0 -1 4194304 6736 0 0 0 94166 34 0 0 25 0 1 0 116239 36253696 6441 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2693/statm: 8851 6441 198 640 0 8207 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 35404 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.85 2/65 2700 /proc/meminfo: memFree=1925144/2055920 swapFree=4192956/4192956 [pid=2693] ppid=2691 vsize=35404 CPUtime=1001.98 /proc/2693/stat : 2693 (bsolo) R 2691 2693 2610 0 -1 4194304 6736 0 0 0 100162 36 0 0 25 0 1 0 116239 36253696 6441 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2693/statm: 8851 6441 198 640 0 8207 0 Current children cumulated CPU time (s) 1001.98 Current children cumulated vsize (KiB) 35404 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.86 2/65 2700 /proc/meminfo: memFree=1925144/2055920 swapFree=4192956/4192956 [pid=2693] ppid=2691 vsize=35404 CPUtime=1061.96 /proc/2693/stat : 2693 (bsolo) R 2691 2693 2610 0 -1 4194304 6736 0 0 0 106159 37 0 0 25 0 1 0 116239 36253696 6441 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2693/statm: 8851 6441 198 640 0 8207 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 35404 Solver just ended. Dumping a history of the last processes samples [startup+1075.1 s] /proc/loadavg: 0.99 0.97 0.86 2/65 2700 /proc/meminfo: memFree=1925144/2055920 swapFree=4192956/4192956 [pid=2693] ppid=2691 vsize=35404 CPUtime=1074.75 /proc/2693/stat : 2693 (bsolo) R 2691 2693 2610 0 -1 4194304 6736 0 0 0 107438 37 0 0 25 0 1 0 116239 36253696 6441 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2693/statm: 8851 6441 198 640 0 8207 0 Current children cumulated CPU time (s) 1074.75 Current children cumulated vsize (KiB) 35404 [startup+1081.5 s] /proc/loadavg: 0.99 0.97 0.86 2/65 2700 /proc/meminfo: memFree=1925144/2055920 swapFree=4192956/4192956 [pid=2693] ppid=2691 vsize=35404 CPUtime=1081.15 /proc/2693/stat : 2693 (bsolo) R 2691 2693 2610 0 -1 4194304 6736 0 0 0 108078 37 0 0 25 0 1 0 116239 36253696 6441 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2693/statm: 8851 6441 198 640 0 8207 0 Current children cumulated CPU time (s) 1081.15 Current children cumulated vsize (KiB) 35404 [startup+1084.7 s] /proc/loadavg: 0.99 0.97 0.86 2/65 2700 /proc/meminfo: memFree=1925144/2055920 swapFree=4192956/4192956 [pid=2693] ppid=2691 vsize=35404 CPUtime=1084.35 /proc/2693/stat : 2693 (bsolo) R 2691 2693 2610 0 -1 4194304 6736 0 0 0 108398 37 0 0 25 0 1 0 116239 36253696 6441 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2693/statm: 8851 6441 198 640 0 8207 0 Current children cumulated CPU time (s) 1084.35 Current children cumulated vsize (KiB) 35404 [startup+1086.3 s] /proc/loadavg: 0.99 0.97 0.86 2/65 2700 /proc/meminfo: memFree=1925144/2055920 swapFree=4192956/4192956 [pid=2693] ppid=2691 vsize=35404 CPUtime=1085.95 /proc/2693/stat : 2693 (bsolo) R 2691 2693 2610 0 -1 4194304 6736 0 0 0 108558 37 0 0 25 0 1 0 116239 36253696 6441 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2693/statm: 8851 6441 198 640 0 8207 0 Current children cumulated CPU time (s) 1085.95 Current children cumulated vsize (KiB) 35404 [startup+1087.1 s] /proc/loadavg: 0.99 0.97 0.86 2/65 2700 /proc/meminfo: memFree=1925144/2055920 swapFree=4192956/4192956 [pid=2693] ppid=2691 vsize=35404 CPUtime=1086.76 /proc/2693/stat : 2693 (bsolo) R 2691 2693 2610 0 -1 4194304 6736 0 0 0 108638 38 0 0 25 0 1 0 116239 36253696 6441 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2693/statm: 8851 6441 198 640 0 8207 0 Current children cumulated CPU time (s) 1086.76 Current children cumulated vsize (KiB) 35404 [startup+1087.5 s] /proc/loadavg: 0.99 0.97 0.86 2/65 2700 /proc/meminfo: memFree=1925144/2055920 swapFree=4192956/4192956 [pid=2693] ppid=2691 vsize=35404 CPUtime=1087.16 /proc/2693/stat : 2693 (bsolo) R 2691 2693 2610 0 -1 4194304 6736 0 0 0 108678 38 0 0 25 0 1 0 116239 36253696 6441 1992294400 134512640 137136520 4294956256 18446744073709551615 134544443 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2693/statm: 8851 6441 198 640 0 8207 0 Current children cumulated CPU time (s) 1087.16 Current children cumulated vsize (KiB) 35404 [startup+1087.7 s] /proc/loadavg: 0.99 0.97 0.86 2/65 2700 /proc/meminfo: memFree=1925144/2055920 swapFree=4192956/4192956 [pid=2693] ppid=2691 vsize=35404 CPUtime=1087.36 /proc/2693/stat : 2693 (bsolo) R 2691 2693 2610 0 -1 4194304 6736 0 0 0 108698 38 0 0 25 0 1 0 116239 36253696 6441 1992294400 134512640 137136520 4294956256 18446744073709551615 136502143 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2693/statm: 8851 6441 198 640 0 8207 0 Current children cumulated CPU time (s) 1087.36 Current children cumulated vsize (KiB) 35404 [startup+1087.8 s] /proc/loadavg: 0.99 0.97 0.86 2/65 2700 /proc/meminfo: memFree=1925144/2055920 swapFree=4192956/4192956 [pid=2693] ppid=2691 vsize=35404 CPUtime=1087.46 /proc/2693/stat : 2693 (bsolo) R 2691 2693 2610 0 -1 4194304 6736 0 0 0 108708 38 0 0 25 0 1 0 116239 36253696 6441 1992294400 134512640 137136520 4294956256 18446744073709551615 134543945 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2693/statm: 8851 6441 198 640 0 8207 0 Current children cumulated CPU time (s) 1087.46 Current children cumulated vsize (KiB) 35404 Child status: 0 Real time (s): 1087.9 CPU time (s): 1087.56 CPU user time (s): 1087.18 CPU system time (s): 0.385941 CPU usage (%): 99.9688 Max. virtual memory (cumulated for all children) (KiB): 36332 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1087.18 system time used= 0.385941 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6738 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= 4 involuntary context switches= 2333 runsolver used 0.735888 second user time and 2.24666 second system time The end
Begin job on node36 at 2009-06-17 15:46:44 IDJOB=1879647 IDBENCH=48197 IDSOLVER=701 FILE ID=node36/1879647-1245246404 PBS_JOBID= 9372341 Free space on /tmp= 66172 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_25_2.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879647-1245246404/watcher-1879647-1245246404 -o /tmp/evaluation-result-1879647-1245246404/solver-1879647-1245246404 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879647-1245246404.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 4a1dc018d8373d1119ec5a7a226f506e RANDOM SEED=1436707121 node36.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.225 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.225 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: 1951696 kB Buffers: 19148 kB Cached: 43888 kB SwapCached: 0 kB Active: 55688 kB Inactive: 20100 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1951696 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4016 kB Writeback: 0 kB Mapped: 22508 kB Slab: 14520 kB Committed_AS: 50196 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-1879647-1245246404.opb Free space on /tmp at the end= 66168 MiB End job on node36 at 2009-06-17 16:04:52