Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | Wrong Opt. | -7 | 181.784 | 181.836 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_25_5.opb |
MD5SUM | 1a8c058c181490cb899ec7074b22bfb3 |
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 | -14 |
Best CPU time to get the best result obtained on this benchmark | 1800.08 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -16 |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 301 |
Number of constraints which are clauses | 100 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 201 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 200 |
Number of terms in the objective function | 100 |
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 | 100 |
Number of bits of the sum of numbers in the objective function | 7 |
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) | 6124 |
Sum of products size (including duplicates) | 12248 |
Number of different products | 3062 |
Sum of products size | 6124 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2702604-1278571524.opb. 0.00/0.00 c Instance file HOME/instance-2702604-1278571524.opb 0.00/0.00 c File size is 256864 bytes. 0.00/0.04 c Highest Coefficient sum: 200 0.00/0.04 c ============================[ Problem Statistics ]============================= 0.00/0.04 c | | 0.00/0.04 c | Parsing time: 0.04 s | 0.00/0.04 c | Number Variables: 3262 | 0.00/0.04 c | Number Clauses: 3162 | 0.00/0.04 c | Number Cardinality: 202 | 0.00/0.04 c | Number PB Constraints: 3062 | 0.08/0.08 c ============================[ Search Statistics ]============================== 0.08/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.08/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.08/0.08 c =============================================================================== 0.08/0.08 c | 0 | 3262 6426 25096 | 5000 0 nan | 0.000 % | 0.08/0.08 c =============================================================================== 0.08/0.08 c New solution: 100 0.08/0.08 o 100 0.08/0.08 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s 0.08/0.08 c =============================================================================== 0.08/0.08 c | 0 | 3262 6427 25196 | 5000 0 nan | 0.000 % | 0.08/0.09 c =============================================================================== 0.08/0.09 c New solution: 99 0.08/0.09 o 99 0.08/0.09 c Elapsed CPU time: 0.092985 s Remaining CPU time: 179.907 s 0.08/0.09 c =============================================================================== 0.08/0.09 c | 1 | 3262 6428 25296 | 5000 1 101 | 0.000 % | 0.08/0.09 c =============================================================================== 0.08/0.09 c New solution: 98 0.08/0.09 o 98 0.08/0.09 c Elapsed CPU time: 0.095985 s Remaining CPU time: 179.904 s 0.08/0.09 c =============================================================================== 0.08/0.09 c | 3 | 3262 6429 25396 | 5000 3 165 | 0.000 % | 0.08/0.10 c =============================================================================== 0.08/0.10 c New solution: 97 0.08/0.10 o 97 0.08/0.10 c Elapsed CPU time: 0.098984 s Remaining CPU time: 179.901 s 0.08/0.10 c =============================================================================== 0.08/0.10 c | 4 | 3262 6430 25496 | 5000 4 148 | 0.000 % | 0.09/0.11 c | 109 | 3262 6430 25496 | 5500 109 189 | 0.000 % | 0.09/0.14 c | 265 | 3262 6430 25496 | 6050 265 191 | 0.000 % | 0.09/0.18 c | 495 | 3262 6430 25496 | 6655 495 191 | 0.000 % | 0.19/0.24 c | 832 | 3262 6430 25496 | 7320 832 191 | 0.000 % | 0.29/0.35 c | 1346 | 3262 6430 25496 | 8052 1346 191 | 0.000 % | 0.29/0.35 c =============================================================================== 0.29/0.35 c New solution: 96 0.29/0.35 o 96 0.29/0.35 c Elapsed CPU time: 0.352946 s Remaining CPU time: 179.647 s 0.29/0.35 c =============================================================================== 0.29/0.35 c | 1351 | 3262 6431 25596 | 5000 1351 190 | 0.000 % | 0.29/0.36 c =============================================================================== 0.29/0.36 c New solution: 95 0.29/0.36 o 95 0.29/0.36 c Elapsed CPU time: 0.359945 s Remaining CPU time: 179.64 s 0.29/0.36 c =============================================================================== 0.29/0.36 c | 1352 | 3262 6432 25696 | 5000 1352 190 | 0.000 % | 0.29/0.39 c =============================================================================== 0.29/0.39 c New solution: 94 0.29/0.39 o 94 0.29/0.39 c Elapsed CPU time: 0.385941 s Remaining CPU time: 179.614 s 0.29/0.39 c =============================================================================== 0.29/0.39 c | 1444 | 3262 6433 25796 | 5000 1444 186 | 0.000 % | 0.39/0.41 c | 1545 | 3262 6433 25796 | 5500 1545 186 | 0.000 % | 0.39/0.44 c | 1696 | 3262 6433 25796 | 6050 1696 186 | 0.000 % | 0.39/0.48 c | 1921 | 3262 6433 25796 | 6655 1921 186 | 0.000 % | 0.49/0.54 c | 2258 | 3262 6433 25796 | 7320 2258 185 | 0.000 % | 0.59/0.63 c | 2764 | 3262 6433 25796 | 8052 2764 184 | 0.000 % | 0.69/0.76 c =============================================================================== 0.69/0.76 c New solution: 93 0.69/0.76 o 93 0.69/0.76 c Elapsed CPU time: 0.750885 s Remaining CPU time: 179.249 s 0.69/0.76 c =============================================================================== 0.69/0.76 c | 3446 | 3262 6434 25896 | 5000 3446 182 | 0.000 % | 0.69/0.79 c | 3546 | 3262 6434 25896 | 5500 3546 182 | 0.000 % | 0.79/0.84 c | 3696 | 3262 6434 25896 | 6050 3696 182 | 0.000 % | 0.79/0.89 c | 3924 | 3262 6434 25896 | 6655 3924 181 | 0.000 % | 0.89/0.98 c | 4262 | 3262 6434 25896 | 7320 4262 181 | 0.000 % | 1.10/1.14 c | 4769 | 3262 6434 25896 | 8052 4769 182 | 0.000 % | 1.29/1.37 c | 5531 | 3262 6434 25896 | 8857 5531 182 | 0.000 % | 1.69/1.79 c | 6672 | 3262 6434 25896 | 9743 6672 182 | 0.000 % | 2.19/2.29 c | 8380 | 3262 6434 25896 | 10717 8380 183 | 0.000 % | 3.20/3.23 c | 10944 | 3262 6434 25896 | 11789 10944 184 | 0.000 % | 4.59/4.66 c | 14789 | 3262 6434 25896 | 12968 14789 185 | 0.000 % | 6.59/6.62 c | 20561 | 3262 6434 25896 | 14265 13167 186 | 0.000 % | 10.49/10.54 c | 29211 | 3262 6434 25896 | 15692 13076 185 | 0.000 % | 15.58/15.67 c | 42188 | 3262 6434 25896 | 17261 16595 183 | 0.000 % | 24.28/24.31 c | 61651 | 3262 6434 25896 | 18987 15572 179 | 0.000 % | 35.78/35.83 c | 90844 | 3262 6434 25896 | 20886 21889 188 | 0.000 % | 61.87/61.91 c | 134638 | 3262 6434 25896 | 22974 14497 186 | 0.000 % | 98.06/98.16 c | 200326 | 3262 6434 25896 | 25272 19190 175 | 0.000 % | 157.45/157.59 c | 298856 | 3262 6434 25896 | 27799 13473 179 | 0.000 % | 181.35/181.45 c There are 0 assigned variables. 0 in cost function. 181.74/181.80 c core #1 181.74/181.80 c #cores: 1 181.74/181.80 c Final Weight: 93 181.74/181.80 o 93 181.74/181.80 s OPTIMUM FOUND 181.74/181.80 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 -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 -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 181.74/181.80 c Total CPU time: 180.35 s
OK -7
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2702604-1278571524/watcher-2702604-1278571524 -o /tmp/evaluation-result-2702604-1278571524/solver-2702604-1278571524 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702604-1278571524.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.01 1.00 3/106 28595 /proc/meminfo: memFree=1846216/2059040 swapFree=4110772/4192956 [pid=28595] ppid=28593 vsize=3376 CPUtime=0 /proc/28595/stat : 28595 (wbo1.4b) R 28593 28595 28027 0 -1 4202496 400 0 0 0 0 0 0 0 20 0 1 0 25365421 3457024 318 1992294400 134512640 135751879 4288287072 18446744073709551615 135228447 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28595/statm: 844 329 143 303 0 476 0 [startup+0.085189 s] /proc/loadavg: 1.00 1.01 1.00 3/106 28595 /proc/meminfo: memFree=1846216/2059040 swapFree=4110772/4192956 [pid=28595] ppid=28593 vsize=4772 CPUtime=0.08 /proc/28595/stat : 28595 (wbo1.4b) R 28593 28595 28027 0 -1 4202496 875 0 0 0 8 0 0 0 20 0 1 0 25365421 4886528 730 1992294400 134512640 135751879 4288287072 18446744073709551615 135200330 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28595/statm: 1193 730 145 303 0 888 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 4772 [startup+0.101191 s] /proc/loadavg: 1.00 1.01 1.00 3/106 28595 /proc/meminfo: memFree=1846216/2059040 swapFree=4110772/4192956 [pid=28595] ppid=28593 vsize=4712 CPUtime=0.09 /proc/28595/stat : 28595 (wbo1.4b) R 28593 28595 28027 0 -1 4202496 876 0 0 0 9 0 0 0 20 0 1 0 25365421 4825088 731 1992294400 134512640 135751879 4288287072 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28595/statm: 1178 731 146 303 0 873 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4712 [startup+0.301211 s] /proc/loadavg: 1.00 1.01 1.00 3/106 28595 /proc/meminfo: memFree=1846216/2059040 swapFree=4110772/4192956 [pid=28595] ppid=28593 vsize=4844 CPUtime=0.29 /proc/28595/stat : 28595 (wbo1.4b) R 28593 28595 28027 0 -1 4202496 924 0 0 0 29 0 0 0 20 0 1 0 25365421 4960256 779 1992294400 134512640 135751879 4288287072 18446744073709551615 134616545 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28595/statm: 1211 779 147 303 0 906 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4844 [startup+0.70125 s] /proc/loadavg: 1.00 1.01 1.00 3/106 28595 /proc/meminfo: memFree=1846216/2059040 swapFree=4110772/4192956 [pid=28595] ppid=28593 vsize=6664 CPUtime=0.69 /proc/28595/stat : 28595 (wbo1.4b) R 28593 28595 28027 0 -1 4202496 1357 0 0 0 68 1 0 0 20 0 1 0 25365421 6823936 1212 1992294400 134512640 135751879 4288287072 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28595/statm: 1666 1212 147 303 0 1361 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6664 [startup+1.50133 s] /proc/loadavg: 1.00 1.01 1.00 2/107 28596 /proc/meminfo: memFree=1841124/2059040 swapFree=4110772/4192956 [pid=28595] ppid=28593 vsize=9016 CPUtime=1.49 /proc/28595/stat : 28595 (wbo1.4b) R 28593 28595 28027 0 -1 4202496 1968 0 0 0 147 2 0 0 22 0 1 0 25365421 9232384 1823 1992294400 134512640 135751879 4288287072 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28595/statm: 2254 1823 147 303 0 1949 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9016 [startup+3.10149 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28596 /proc/meminfo: memFree=1838024/2059040 swapFree=4110772/4192956 [pid=28595] ppid=28593 vsize=13080 CPUtime=3.09 /proc/28595/stat : 28595 (wbo1.4b) R 28593 28595 28027 0 -1 4202496 2982 0 0 0 306 3 0 0 25 0 1 0 25365421 13393920 2837 1992294400 134512640 135751879 4288287072 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28595/statm: 3270 2837 147 303 0 2965 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13080 [startup+6.3008 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28596 /proc/meminfo: memFree=1829716/2059040 swapFree=4110772/4192956 [pid=28595] ppid=28593 vsize=20980 CPUtime=6.29 /proc/28595/stat : 28595 (wbo1.4b) R 28593 28595 28027 0 -1 4202496 4958 0 0 0 623 6 0 0 25 0 1 0 25365421 21483520 4813 1992294400 134512640 135751879 4288287072 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28595/statm: 5245 4813 148 303 0 4940 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20980 [startup+12.7014 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28596 /proc/meminfo: memFree=1816076/2059040 swapFree=4110772/4192956 [pid=28595] ppid=28593 vsize=33732 CPUtime=12.69 /proc/28595/stat : 28595 (wbo1.4b) R 28593 28595 28027 0 -1 4202496 8118 0 0 0 1258 11 0 0 25 0 1 0 25365421 34541568 7973 1992294400 134512640 135751879 4288287072 18446744073709551615 134616404 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28595/statm: 8433 7974 148 303 0 8128 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 33732 [startup+25.5007 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28596 /proc/meminfo: memFree=1791648/2059040 swapFree=4110772/4192956 [pid=28595] ppid=28593 vsize=57708 CPUtime=25.48 /proc/28595/stat : 28595 (wbo1.4b) R 28593 28595 28027 0 -1 4202496 14105 0 0 0 2525 23 0 0 25 0 1 0 25365421 59092992 13960 1992294400 134512640 135751879 4288287072 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28595/statm: 14427 13960 148 303 0 14122 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 57708 [startup+51.1012 s] /proc/loadavg: 1.07 1.02 1.00 2/107 28596 /proc/meminfo: memFree=1746636/2059040 swapFree=4110772/4192956 [pid=28595] ppid=28593 vsize=102460 CPUtime=51.07 /proc/28595/stat : 28595 (wbo1.4b) R 28593 28595 28027 0 -1 4202496 25266 0 0 0 5062 45 0 0 25 0 1 0 25365421 104919040 25121 1992294400 134512640 135751879 4288287072 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28595/statm: 25615 25121 148 303 0 25310 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 102460 [startup+102.308 s] /proc/loadavg: 1.09 1.03 1.00 2/107 28598 /proc/meminfo: memFree=1671740/2059040 swapFree=4110772/4192956 [pid=28595] ppid=28593 vsize=176880 CPUtime=102.27 /proc/28595/stat : 28595 (wbo1.4b) R 28593 28595 28027 0 -1 4202496 43806 0 0 0 10145 82 0 0 25 0 1 0 25365421 181125120 43661 1992294400 134512640 135751879 4288287072 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28595/statm: 44220 43661 148 303 0 43915 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 176880 [startup+162.301 s] /proc/loadavg: 1.09 1.04 1.00 2/107 28600 /proc/meminfo: memFree=1590272/2059040 swapFree=4110772/4192956 [pid=28595] ppid=28593 vsize=258824 CPUtime=162.24 /proc/28595/stat : 28595 (wbo1.4b) R 28593 28595 28027 0 -1 4202496 64289 0 0 0 16097 127 0 0 25 0 1 0 25365421 265035776 64144 1992294400 134512640 135751879 4288287072 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28595/statm: 64706 64145 148 303 0 64401 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 258824 Solver just ended. Dumping a history of the last processes samples [startup+166.302 s] /proc/loadavg: 1.09 1.04 1.00 2/107 28600 /proc/meminfo: memFree=1585560/2059040 swapFree=4110772/4192956 [pid=28595] ppid=28593 vsize=262952 CPUtime=166.24 /proc/28595/stat : 28595 (wbo1.4b) R 28593 28595 28027 0 -1 4202496 65324 0 0 0 16494 130 0 0 25 0 1 0 25365421 269262848 65179 1992294400 134512640 135751879 4288287072 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28595/statm: 65738 65179 148 303 0 65433 0 Current children cumulated CPU time (s) 166.24 Current children cumulated vsize (KiB) 262952 [startup+172.708 s] /proc/loadavg: 1.08 1.04 1.00 2/107 28600 /proc/meminfo: memFree=1577624/2059040 swapFree=4110772/4192956 [pid=28595] ppid=28593 vsize=270700 CPUtime=172.65 /proc/28595/stat : 28595 (wbo1.4b) R 28593 28595 28027 0 -1 4202496 67256 0 0 0 17132 133 0 0 25 0 1 0 25365421 277196800 67111 1992294400 134512640 135751879 4288287072 18446744073709551615 134616350 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28595/statm: 67675 67111 148 303 0 67370 0 Current children cumulated CPU time (s) 172.65 Current children cumulated vsize (KiB) 270700 [startup+175.902 s] /proc/loadavg: 1.08 1.04 1.00 2/107 28600 /proc/meminfo: memFree=1574152/2059040 swapFree=4110772/4192956 [pid=28595] ppid=28593 vsize=274076 CPUtime=175.85 /proc/28595/stat : 28595 (wbo1.4b) R 28593 28595 28027 0 -1 4202496 68103 0 0 0 17449 136 0 0 25 0 1 0 25365421 280653824 67958 1992294400 134512640 135751879 4288287072 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28595/statm: 68519 67958 148 303 0 68214 0 Current children cumulated CPU time (s) 175.85 Current children cumulated vsize (KiB) 274076 [startup+179.101 s] /proc/loadavg: 1.15 1.05 1.01 2/107 28600 /proc/meminfo: memFree=1572540/2059040 swapFree=4110772/4192956 [pid=28595] ppid=28593 vsize=276548 CPUtime=179.04 /proc/28595/stat : 28595 (wbo1.4b) R 28593 28595 28027 0 -1 4202496 68727 0 0 0 17766 138 0 0 25 0 1 0 25365421 283185152 68582 1992294400 134512640 135751879 4288287072 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28595/statm: 69137 68582 148 303 0 68832 0 Current children cumulated CPU time (s) 179.04 Current children cumulated vsize (KiB) 276548 [startup+180.701 s] /proc/loadavg: 1.15 1.05 1.01 2/107 28600 /proc/meminfo: memFree=1570308/2059040 swapFree=4110772/4192956 [pid=28595] ppid=28593 vsize=278316 CPUtime=180.64 /proc/28595/stat : 28595 (wbo1.4b) R 28593 28595 28027 0 -1 4202496 69158 0 0 0 17925 139 0 0 25 0 1 0 25365421 284995584 69013 1992294400 134512640 135751879 4288287072 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28595/statm: 69579 69013 148 303 0 69274 0 Current children cumulated CPU time (s) 180.64 Current children cumulated vsize (KiB) 278316 [startup+181.508 s] /proc/loadavg: 1.14 1.05 1.01 2/107 28600 /proc/meminfo: memFree=1569316/2059040 swapFree=4110772/4192956 [pid=28595] ppid=28593 vsize=279804 CPUtime=181.45 /proc/28595/stat : 28595 (wbo1.4b) R 28593 28595 28027 0 -1 4202496 69524 0 0 0 18005 140 0 0 25 0 1 0 25365421 286519296 69379 1992294400 134512640 135751879 4288287072 18446744073709551615 135220911 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28595/statm: 69951 69379 149 303 0 69646 0 Current children cumulated CPU time (s) 181.45 Current children cumulated vsize (KiB) 279804 [startup+181.701 s] /proc/loadavg: 1.14 1.05 1.01 2/107 28600 /proc/meminfo: memFree=1569316/2059040 swapFree=4110772/4192956 [pid=28595] ppid=28593 vsize=279804 CPUtime=181.64 /proc/28595/stat : 28595 (wbo1.4b) R 28593 28595 28027 0 -1 4202496 69524 0 0 0 18024 140 0 0 25 0 1 0 25365421 286519296 69379 1992294400 134512640 135751879 4288287072 18446744073709551615 135200324 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28595/statm: 69951 69379 149 303 0 69646 0 Current children cumulated CPU time (s) 181.64 Current children cumulated vsize (KiB) 279804 [startup+181.801 s] /proc/loadavg: 1.14 1.05 1.01 2/107 28600 /proc/meminfo: memFree=1569316/2059040 swapFree=4110772/4192956 [pid=28595] ppid=28593 vsize=279804 CPUtime=181.74 /proc/28595/stat : 28595 (wbo1.4b) R 28593 28595 28027 0 -1 4202496 69524 0 0 0 18034 140 0 0 25 0 1 0 25365421 286519296 69379 1992294400 134512640 135751879 4288287072 18446744073709551615 135200241 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28595/statm: 69951 69379 149 303 0 69646 0 Current children cumulated CPU time (s) 181.74 Current children cumulated vsize (KiB) 279804 Child status: 0 Real time (s): 181.836 CPU time (s): 181.784 CPU user time (s): 180.35 CPU system time (s): 1.43478 CPU usage (%): 99.9718 Max. virtual memory (cumulated for all children) (KiB): 279804 getrusage(RUSAGE_CHILDREN,...) data: user time used= 180.35 system time used= 1.43478 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 69538 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= 345 runsolver used 0.319951 second user time and 0.846871 second system time The end
Begin job on node012 at 2010-07-08 08:45:24 IDJOB=2702604 IDBENCH=48237 IDSOLVER=1161 FILE ID=node012/2702604-1278571524 PBS_JOBID= 11239581 Free space on /tmp= 62492 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_25_5.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2702604-1278571524/watcher-2702604-1278571524 -o /tmp/evaluation-result-2702604-1278571524/solver-2702604-1278571524 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702604-1278571524.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1a8c058c181490cb899ec7074b22bfb3 RANDOM SEED=135604115 node012.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.248 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.49 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.248 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1847364 kB Buffers: 13924 kB Cached: 81788 kB SwapCached: 35600 kB Active: 83548 kB Inactive: 54848 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1847364 kB SwapTotal: 4192956 kB SwapFree: 4110772 kB Dirty: 2788 kB Writeback: 0 kB AnonPages: 12296 kB Mapped: 12196 kB Slab: 51372 kB PageTables: 4228 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180796 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702604-1278571524.opb Free space on /tmp at the end= 62488 MiB End job on node012 at 2010-07-08 08:48:26